chaosdorf.de/git will cease operation by 2026-11-30. Please refer to git.chaosdorf.de instead.
File changed.
Contains only whitespace changes.