diff options
| author | Pierre-Marie Pédrot | 2017-09-04 15:41:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-04 15:41:59 +0200 |
| commit | dd2a9aa0fd0a8d725f131223a4e0a01de8a98e1e (patch) | |
| tree | a92703ee0c938db78e9b43e504cce7285c62bab9 /src/tac2stdlib.ml | |
| parent | cd3819db675bd42510eac1bd616ca20e33e7d997 (diff) | |
Updated gitignore.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions