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

…

includes.in

…

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

…

rules.in

Alter distclean rule to prevent recursing into the same directory twice

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