tree 2478ada8cdf49a8eba559183951281e067791b59
parent 9d5ee3d639ab13a850144cf7139700b5d1bd9e61
author Bruno Haible <bruno@clisp.org> 1483056954 +0100
committer Bruno Haible <bruno@clisp.org> 1483057900 +0100

Make Makefile.devel consistent with .gitignore.