Fix manifest for src/config_rev in last commit

This commit is contained in:
Wilson Snyder 2020-12-23 16:07:04 -05:00
parent 922eab5f93
commit 575539996b

View File

@ -153,6 +153,7 @@ DISTFILES_INC = $(INFOS) .gitignore \
.*attributes */.*attributes */*/.*attributes \
src/.*ignore src/*.in src/*.cpp src/*.[chly] \
src/astgen src/bisonpre src/*fix src/cppcheck_filtered \
src/config_rev \
src/vlcovgen src/mkinstalldirs \
src/.gdbinit \
src/*.pl src/*.pod \