diff options
| -rw-r--r-- | doc/initial/1-intro.md | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/initial/1-intro.md b/doc/initial/1-intro.md index 8c9948ddf6..84ffee855a 100644 --- a/doc/initial/1-intro.md +++ b/doc/initial/1-intro.md @@ -1,9 +1,3 @@ -<!-- -NOTE: In this document and others in this directory, the convention is to -set fixed-width phrases with non-fixed-width spaces, as in -`hello` `world`. ---> - <style> main ul li { margin: 0.5em 0; } </style> |