diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-12-26 12:30:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-12-26 12:30:22 -0500 |
| commit | ded88e6c25676656959a52a921506287d370358a (patch) | |
| tree | 91f0c483a60494ca2498d96bce68163202ac0c0b /src | |
| parent | 28794e4d2ce023de6fe573a264bf27a7ede01060 (diff) | |
Add to .hgignore
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions