diff options
| author | Peter Sewell | 2014-11-30 10:21:22 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-30 10:21:22 +0000 |
| commit | 1fbb2a7f60e74e657a321052f92e75979c8cd6d7 (patch) | |
| tree | ef964dfccbe77b8df5c2e170bec5f899cf0d091a /language/l2.lem | |
| parent | 307de01c4d431f0df4abd669ef7625085b6ef633 (diff) | |
clean up ghastly pre-submission pp hackery
Diffstat (limited to 'language/l2.lem')
0 files changed, 0 insertions, 0 deletions