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

..

dlz

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

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

named

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

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

.gitignore

[master] update gitignore files; use rev-parse to get srcid

2014-06-17 13:49:30 -07:00