Public Git Hosting - diouzhtu.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7f55253) | patch

commit	5de76cfe62dabb6a9c7b9c642e3d2bf08a50e6ef
author	Olivier Ramonat <olivier@ramonat.fr>
	Fri, 14 Nov 2008 22:50:31 +0000 (14 23:50 +0100)
committer	Olivier Ramonat <olivier@ramonat.fr>
	Mon, 17 Nov 2008 18:45:52 +0000 (17 19:45 +0100)
tree	e55d914e42ed3c2727676f3b4a12fc6b02cc51e6	tree \| snapshot (tar.gz zip)
parent	7f55253fdbd9e8b82034838919acccbc1f9416e1	commit \| diff

Use only one Makefile. Remove the need for make setup

14 files changed:

Makefile	[new file with mode: 0644]	blob
diouzhtu/diouzhtu.gpr		diff \| blob \| blame \| history
diouzhtu/makefile	[deleted file]	blob \| blame \| history
diouzhtu2html/diouzhtu2html.gpr		diff \| blob \| blame \| history
diouzhtu2html/makefile	[deleted file]	blob \| blame \| history
diouzhtu2html/test/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/interface/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/regtests/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/service/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/website/makefile	[deleted file]	blob \| blame \| history
gwiad_wiki_service/website/wiki_website.gpr		diff \| blob \| blame \| history
makefile	[deleted file]	blob \| blame \| history
shared.gpr		diff \| blob \| blame \| history

Gwiad Wiki Plugin