-
Francois-Rene Rideau authored
Also update comments in TODO file, manual. Make the Makefile test result checking less uselessly verbose.
db28c77f
Also update comments in TODO file, manual. Make the Makefile test result checking less uselessly verbose.