Skip to content

Remove $Id$s and other cruft as a batch operation

Ondřej Surý requested to merge 9-remove-dolar-ids-and-other-cruft-v9_12 into v9_12

(cherry picked from commit 55a10b7a)

Closes #9 (closed)

Merge request reports