Further simplify Remakefile. Remove some inefficiency in module dependency checking...
authorKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 23:21:26 +0000 (00:21 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 3 Mar 2014 23:21:26 +0000 (00:21 +0100)

No differences found