diff options
| author | Gabriel Kerneis | 2014-02-07 18:13:16 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-07 18:13:16 +0000 |
| commit | 54005e457eb069330219dbe2cbd0a903ffbdb517 (patch) | |
| tree | 701d09b2986e6c23e1d5a1b17c98ae0766bafc40 /language/l2.lem | |
| parent | dcbc80a3419a828da8cdb6250ecb52f52a72a28b (diff) | |
Fix a few stupid bugs
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions