summary refs log tree commit diff
path: root/xi.opam
diff options
context:
space:
mode:
authorPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-12-09 23:56:48 +0100
committerPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2018-12-09 23:56:48 +0100
commit4c7ca4031d431af712bbdd9b0dbc9b3e069280e4 (patch)
tree7f534d2a7fae212af718cae99d9456b7e6decf4b /xi.opam
parentTranslate: Basic expressions and statements (diff)
Ifs
Diffstat (limited to 'xi.opam')
0 files changed, 0 insertions, 0 deletions