checker update
[minfp.git] / check.dcl
2019-02-08 Mart Lubberschecker update
2019-02-08 Mart LubbersInitial commit