summaryrefslogtreecommitdiff
path: root/.settings
diff options
context:
space:
mode:
authorajreynol <andrew.j.reynolds@gmail.com>2015-05-15 09:09:51 +0200
committerajreynol <andrew.j.reynolds@gmail.com>2015-05-15 09:09:51 +0200
commit3ce21ef9a8b6daa1eef1dbe9af10a84e8c87e413 (patch)
tree2686fa03573e19593e3395d4097ce1e7943ba04a /.settings
parente7439fc0daf1049f59540b9aeb890a52d86a77bd (diff)
Avoid ensureLiteral on unpreprocessed formulas in cbqi.
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback