3 commits

Author	SHA1	Message	Date
Pierre Labastie	fd4a7982f2	Remove $Id$ comments, they are useless with git	2021-10-31 10:22:30 +01:00
Pierre Labastie	9ef12f76bb	Use a private name for MAKEFLAGS in jhalfs, so that it does not propagate ... to top make, when ticking "Run the makefile"	2020-06-05 10:18:27 +00:00
Manuel Canales Esparcia	1b65a847a5	Merged optimize code from experimental branch.	2006-05-11 20:21:14 +00:00