Ondřej Surý 188526f41c Remove $Id markers, Principal Author and Reviewed tags from the full source tree ... (cherry picked from commit 55a10b7acd)		2018-05-11 14:25:15 +02:00
..
.gitignore	added gitignore, removed cvsignore	2012-03-03 23:10:05 -08:00
includes.in	update file headers to remove copyright years	2018-03-14 16:40:20 -07:00
Makefile.in	Remove $Id markers, Principal Author and Reviewed tags from the full source tree	2018-05-11 14:25:15 +02:00
mkdep.in	[master] correct copyrights and attributions	2014-01-24 09:46:00 -08:00
rules.in	Alter distclean rule to prevent recursing into the same directory twice	2018-04-10 20:04:40 -07:00