minfp.git
5 years agomore checking and gen
Mart Lubbers [Mon, 11 Feb 2019 10:31:44 +0000 (11:31 +0100)]
more checking and gen

5 years agochecker update
Mart Lubbers [Fri, 8 Feb 2019 12:15:34 +0000 (13:15 +0100)]
checker update

5 years agoInitial commit
Mart Lubbers [Fri, 8 Feb 2019 09:25:39 +0000 (10:25 +0100)]
Initial commit