diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-12-12 16:42:15 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-12-12 16:42:15 -0500 |
| commit | 5005de069d5f7671ffac6e9d3e5833cc10b63cb0 (patch) | |
| tree | e4eba1ea9c294903b3ddd117830bda2267dfb8bb /src/prim.sig | |
| parent | ddeb9c57ed9b292082503aa10ebc942500ac8950 (diff) | |
Autogenerate some files
Diffstat (limited to 'src/prim.sig')
0 files changed, 0 insertions, 0 deletions