diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,7 +1,6 @@ #SHELL := /bin/bash MAKE=make BUILDDIR = vendor -DESTDIR = debian CSS=$(wildcard *.css) CSS=$(subst .tiny,,$(shell find themes -type f -name '*.css')) |
index : plinth/plinth.git | ||
Unnamed repository; edit this file 'description' to name the repository. | Tzafrir Cohen |
summaryrefslogtreecommitdiff |
-rw-r--r-- | Makefile | 1 |
@@ -1,7 +1,6 @@ #SHELL := /bin/bash MAKE=make BUILDDIR = vendor -DESTDIR = debian CSS=$(wildcard *.css) CSS=$(subst .tiny,,$(shell find themes -type f -name '*.css')) |