diff options
| author | Gabriel Kerneis | 2013-10-10 17:15:00 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-10 17:16:24 +0100 |
| commit | 0933b8ccc06a067f8772b70f1bacc8b58097843b (patch) | |
| tree | b38483511a962778abe87ab0c31eaaef3432ab3b /.gitignore | |
| parent | 958fd3250698a638baf15948a72f870a74b1dd11 (diff) | |
Fix fundecl and block Lem pretty-printing
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions