diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-21 15:08:37 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-21 15:08:37 -0500 |
| commit | 10ef6dc0427489835fcb3ab56ce69569d1318c8e (patch) | |
| tree | 29609cd1f70b059330b0cf629a81dd22f2bd418b /.hgignore | |
| parent | b40d5edab6489b4d50a512746394a9cd8763ad23 (diff) | |
Add src/c/*.h to EXTRA_DIST
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions