diff options
| author | Matej Kosik | 2015-11-04 19:23:40 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:14 +0100 |
| commit | 1200468d82136ab3279bbe18da8fa0ba4e4cc8c4 (patch) | |
| tree | 98ba1ae121bda86c42a0db28604f4a0958eb7664 /kernel/cemitcodes.ml | |
| parent | 70e705a47f435e1453d889177a426d89dacda07b (diff) | |
FIX: removing a reference to \Gamma, because it is undefined
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions