diff options
Diffstat (limited to 'projects')
| -rw-r--r-- | projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch b/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch new file mode 100644 index 00000000..52798b1e --- /dev/null +++ b/projects/dejavu-fonts/patches/0001-Preserve-unicode-source-files-thru-git-clean-df.patch @@ -0,0 +1,24 @@ +From 9ac03500773a1cc69b198ce1c43770a7fc66da98 Mon Sep 17 00:00:00 2001 +From: Andrew Robbins <contact@andrewrobbins.info> +Date: Tue, 5 Sep 2017 23:57:34 -0400 +Subject: [PATCH] Preserve unicode source files thru `git clean -df` + +UnicodeData.txt and Blocks.txt should be preserved after a +`git clean -df` to avoid needless refetching of these resources. +--- + .gitignore | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/.gitignore b/.gitignore +index dedd2b5..841e748 100644 +--- a/.gitignore ++++ b/.gitignore +@@ -2,3 +2,5 @@ build/ + dist/ + tmp/ + /src/*.sfd~ ++resources/Blocks.txt ++resources/UnicodeData.txt +-- +1.9.1 + |