diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-21 14:59:33 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-21 14:59:33 -0500 |
| commit | 0e8305cdbb17f625662433c718a9b2eab042dd57 (patch) | |
| tree | 46105d18b7b6f8f14cda3ef5a20b0924348dddd5 /Makefile.in | |
| parent | c28405247dd05ecc562e1d7fa46c58e7e42b2a9d (diff) | |
Getting more specific about 'src' in EXTRA_DIST
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions