Skip to content
GitLab

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

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

(cherry picked from commit 55a10b7a)

Edited by Ondřej Surý