Undo the great rename; I can probably depend on Foam janitor to make this work instead

This commit is contained in:
2020-10-14 11:15:43 +02:00
parent c97c3e339e
commit aadf2fccc4
1019 changed files with 69 additions and 5550 deletions
+2 -2
View File
@@ -4,6 +4,6 @@ A [[person]] on [[twitter]]: https://twitter.com/TEP_Lurking.
[//begin]: # "Autogenerated link references for markdown compatibility"
[person]: person "Person"
[twitter]: twitter "Twitter"
[person]: person "person"
[twitter]: twitter "twitter"
[//end]: # "Autogenerated link references"