Skip to content

GitLab

Merged
Created by Ondřej Surý@ondrejOwner

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

(cherry picked from commit 55a10b7a)

Edited by Ondřej Surý