summaryrefslogtreecommitdiff
path: root/.travis.yml
diff options
context:
space:
mode:
authorajreynol <andrew.j.reynolds@gmail.com>2015-11-12 11:00:44 +0100
committerajreynol <andrew.j.reynolds@gmail.com>2015-11-12 11:00:44 +0100
commitada1fc44c9b5b8746a2e1e4046032282149768b5 (patch)
treeefb350f7729004fedb4d7d872d5ff7e8d5d1fdc4 /.travis.yml
parent97470da31e14104f807fb33b2b3423e583e10726 (diff)
Minor fixes and improvements to purify quant, relational triggers.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback