diff options
| author | Guillaume Melquiond | 2015-07-26 07:44:45 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-26 07:44:45 +0200 |
| commit | beff9386b82c4aa6e066642d56a36c8034f54604 (patch) | |
| tree | e71dc5490327b5b3fdbc69167aecab4ddaee2b7b /kernel/cemitcodes.ml | |
| parent | 8a235780d9b3612e1c01323398da3e80cbbf8e9f (diff) | |
Remove obsolete question about eta-conversion.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions