diff options
author | Miran <narimiran@disroot.org> | 2019-06-10 12:54:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-10 12:54:43 +0200 |
commit | 7cf9b522b5d2735b5279e9c2bdcade5c177868f8 (patch) | |
tree | e7f98cae273b5ec5a459df63e3bb344e1535fe2a /doc/nimdoc.css | |
parent | 3a91a935847444956e40527d501ff3fb6553a7d6 (diff) | |
download | Nim-7cf9b522b5d2735b5279e9c2bdcade5c177868f8.tar.gz |
[bugfix] rename Nimrod to Nim, fix #11460 (#11462)
Diffstat (limited to 'doc/nimdoc.css')
-rw-r--r-- | doc/nimdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/nimdoc.css b/doc/nimdoc.css index a002b6be1..a8be5756b 100644 --- a/doc/nimdoc.css +++ b/doc/nimdoc.css @@ -17,7 +17,7 @@ customize this style sheet. */ /* - Modified for the Nimrod Documenation by + Modified for the Nim Documenation by Andreas Rumpf */ |