Mon, 26 Oct 2009 18:52:16 +0100 | blanchet | made Nitpick aware of the KODKODI_JAVA_LIBRARY_PATH, for detecting and properly invoking JNI-based SAT solvers | file | diff | annotate |
Fri, 23 Oct 2009 18:57:35 +0200 | blanchet | updated Nitpick documentation to remove weird default for "overlord" | file | diff | annotate |
Fri, 23 Oct 2009 14:45:01 +0200 | blanchet | updated Nitpick manual to reflect the latest Stand der Dinge | file | diff | annotate |
Thu, 22 Oct 2009 16:34:30 +0200 | blanchet | wrap line correctly in Nitpick documentation | file | diff | annotate |
Thu, 22 Oct 2009 14:45:20 +0200 | blanchet | Added Nitpick manual. | file | diff | annotate |