diff options
author | Glenn Morris <rgm@gnu.org> | 2019-04-16 08:09:47 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2019-04-16 08:09:47 -0700 |
commit | d07863fd6e61894490e8c588f290b2a5dae76494 (patch) | |
tree | 7a87ecb3a89e2b2ed009a63cd88affe841648eb9 /make-dist | |
parent | debaa72dd89eee0dffc930a7ccff742ca5a81d88 (diff) | |
download | emacs-d07863fd6e61894490e8c588f290b2a5dae76494.tar.gz |
* make-dist (possibly_non_vc_files): Remove recently deleted file.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 821895a0053..74660032e93 100755 --- a/make-dist +++ b/make-dist @@ -367,7 +367,6 @@ possibly_non_vc_files=" MANIFEST aclocal.m4 configure admin/charsets/jisx2131-filter src/config.in src/emacs-module.h - src/fingerprint.c "$( find admin doc etc lisp \ \( -name '*.el' -o -name '*.elc' -o -name '*.map' -o -name '*.stamp' \ |