summaryrefslogtreecommitdiff
path: root/language/sail.ott
diff options
context:
space:
mode:
authorJon French2018-05-01 11:09:32 +0100
committerJon French2018-05-01 16:58:26 +0100
commit4bd44da95c363640d6e5b2886193d80109caba6d (patch)
treee08080728c76163d6d2961e877e7a92eab3c2128 /language/sail.ott
parent471bbe0bb6f05034033566990b87e6d2f3853afe (diff)
inferring is also required
Diffstat (limited to 'language/sail.ott')
0 files changed, 0 insertions, 0 deletions