diff options
| author | eudoxia <uplink@distress.network> | 2022-05-02 12:37:11 -0400 |
|---|---|---|
| committer | eudoxia <uplink@distress.network> | 2022-05-02 12:37:11 -0400 |
| commit | fcd667a0ebe73a7868e93232faea36d56535be18 (patch) | |
| tree | 99a5b5620d96943d9d9b5bc232f242b473c278ef /doc/header | |
| parent | 3fa27d49be472c28d0c4eaed776804e39c7f8bee (diff) | |
reorganised docs locations (doc/* -> doc/online/*, doc/freestanding/* -> doc/*)
Diffstat (limited to 'doc/header')
| -rw-r--r-- | doc/header | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/header b/doc/header deleted file mode 100644 index fcecc47..0000000 --- a/doc/header +++ /dev/null @@ -1,8 +0,0 @@ -title: -leading: -opts: h - -@start ### @@:\n``` -@add ### + @@:\n``` -@end ``` -@ref @= @@ =@ |