diff options
Diffstat (limited to 'support/ChangeLog')
-rw-r--r-- | support/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/support/ChangeLog b/support/ChangeLog index 44f4a624..00753047 100644 --- a/support/ChangeLog +++ b/support/ChangeLog @@ -1,3 +1,7 @@ +2018-12-18 Arnold D. Robbins <arnold@skeeve.com> + + * Makefile.am (distclean-local): Remove .deps directory. + 2018-12-15 Arnold D. Robbins <arnold@skeeve.com> * dfa.h, dfa.c: Sync with GNULIB. |