Ondřej Surý c35de9b383 Remove $Id markers, Principal Author and Reviewed tags from the full source tree ...

(cherry picked from commit 55a10b7acd)

2018-05-11 14:19:35 +02:00

..

.gitignore

…

includes.in

…

Makefile.in

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:19:35 +02:00

mkdep.in

…

rules.in

Alter distclean rule to prevent recursing into the same directory twice

2018-04-10 20:04:31 -07:00