Merge pull request #226062 from amjoseph-nixpkgs/pr/manual/gitignore

This commit is contained in:
Valentin Gagarin
2023-04-13 22:13:06 +02:00
committed by GitHub
+1
View File
@@ -8,3 +8,4 @@ manual-full.xml
out
result
result-*
media