diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2016-06-25 21:32:19 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-06-27 12:36:17 +0200 |
| commit | 5ee1e3dabdee3073f179a7839b06b0ef9288fd81 (patch) | |
| tree | e28aed7a6fec21b4e12e538825d0706dd02c886f /test-suite/misc/universes | |
| parent | cbbc76d0ac6c9710d341b8bc0362aa9d7599f45d (diff) | |
Patterns in binders: printing tests
Diffstat (limited to 'test-suite/misc/universes')
0 files changed, 0 insertions, 0 deletions