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 /doc/intro.ur | |
parent | c28405247dd05ecc562e1d7fa46c58e7e42b2a9d (diff) |
Getting more specific about 'src' in EXTRA_DIST
Diffstat (limited to 'doc/intro.ur')
0 files changed, 0 insertions, 0 deletions