diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 3549350b3e7..14c445a509f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -748,3 +748,4 @@ bootstrap-clean-before: FRC -(cd lispintro && $(MAKE) $(MFLAGS) clean) (cd leim; $(MAKE) $(MFLAGS) clean) +# arch-tag: c1162ff6-e0a8-4366-bc1a-2eb544007156 |