#
# ChangeLog for cegar_dev/cegar/Makefile
#
# Generated by Trac 1.2.3
# Jul 6, 2024, 4:03:40 PM

Fri, 25 Mar 2011 17:05:57 GMT syed [3]
	* cegar_dev (added)
	* cegar_dev/cegar (added)
	* cegar_dev/cegar/Makefile (added)
	* cegar_dev/cegar/main.c (added)

	creation du repertoire et ajout main.c and Makefile