Public Git Hosting - texmacs.git/search

2009-11-17	davidmichel	New configure file	commit \| commitdiff \| tree
2009-11-17	davidmichel	Modifs of config/make files to support cross-compilation	commit \| commitdiff \| tree