| commit | d85b490cfc4ab5d4027f2cdcb24192baccda3056 | |
| author | John Bintz <jcoswell@coswellproductions.org> | |
| Fri, 21 Sep 2007 22:50:18 +0000 (21 18:50 -0400) | ||
| committer | John Bintz <jcoswell@coswellproductions.org> | |
| Fri, 21 Sep 2007 22:50:18 +0000 (21 18:50 -0400) | ||
| tree | c4cd062acbb20a8a18c7a0eaaac02d044b2bdcfe | treesnapshot (tar.gz zip) |
| parent | 221b288fb5abfd0a89180ed48c361a162ad0b081 | commitdiff |
allow straightahead proofs if no special pages are used
| lib/minicomic.rb | diffblobblamehistory |