chiark / gitweb /
~ian / topbloke-formulae.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2c96fc) | patch
merge ends condition - change condition to one that is equivalent but looks stronger...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:56:57 +0000 (16:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:56:57 +0000 (16:56 +0000)
commit8d5ef87515410d728d2d6443bdc779ff97befecc
treebc2ed909a7fe30e3c10cee25bc3f212575c03623tree | snapshot
parentd2c96fc2700752ce2ad9e29032b6fd7581194f32commit | diff
merge ends condition - change condition to one that is equivalent but looks stronger and is easier to compute
article.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.