summaryrefslogtreecommitdiff
path: root/tests/rewrite.urs
diff options
context:
space:
mode:
authorGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-12 22:55:24 +0100
committerGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 11:46:57 +0100
commita16c342d75f96a530da30e85465328306f5412ef (patch)
treeb0313e6ab464edf0527017404ee7572ad1a7f568 /tests/rewrite.urs
parent679977b188fc9bbfd1b311e895ca48454876b7f4 (diff)
Last tweak to datatype constructors autocomplete
Diffstat (limited to 'tests/rewrite.urs')
0 files changed, 0 insertions, 0 deletions