Wed, 17 Mar 2010 10:55:28 +0100 Martin Geisler Merge with stable
Wed, 17 Mar 2010 10:51:26 +0100 Pierre-Yves David check-code: add a return value to checkfile function
Tue, 16 Mar 2010 19:53:00 +0100 Pierre-Yves David code-code: Add a logfunc argument to checkfile
Tue, 16 Mar 2010 19:52:58 +0100 Pierre-Yves David check-code: Add a ``maxerr`` argument to the ``checkfile`` function
Tue, 16 Mar 2010 19:52:57 +0100 Pierre-Yves David check-code: Add a ``checkfile`` function
Tue, 16 Mar 2010 19:52:56 +0100 Pierre-Yves David check-code: Only call check-code if __name__ = "__main__".
Tue, 16 Mar 2010 19:52:55 +0100 Pierre-Yves David add a small test for contrib/check-code.py
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip