Behdad Esfahbod 23b9767bb3 Rename Makefile.*.config to Makefile.*.features as they should not be modified ... The .config naming was giving people the impression that they can modify it. That's not the case.		2008-09-22 17:34:36 -04:00
..
public	Rename Makefile.*.config to Makefile.*.features as they should not be modified	2008-09-22 17:34:36 -04:00
tutorial	[doc/tutorial/src/singular.c] Fix a bug in delta computation	2008-04-15 15:57:41 -04:00
.gitignore	Rename .cvsignore to .gitignore. Add *~ and *.o.	2006-02-15 15:00:26 -08:00
Makefile.am	Makefile.am cleanup	2008-09-11 15:49:09 -04:00