summaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorajreynol <andrew.j.reynolds@gmail.com>2015-01-22 11:47:39 +0100
committerajreynol <andrew.j.reynolds@gmail.com>2015-01-22 11:47:39 +0100
commitd9d13027f1f1e3cc462dc5885dfd0b529bf57512 (patch)
tree656f7c02d1522c5c52eb7952947a8a76a4693521 /NEWS
parent9867d5a61ccde30f7e4616a652ef86a9b15ae6d8 (diff)
Add option --lte-partial-inst. Remove inst-closure.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback