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 | |
| parent | 3a91a935847444956e40527d501ff3fb6553a7d6 (diff) | |
| download | Nim-7cf9b522b5d2735b5279e9c2bdcade5c177868f8.tar.gz | |
[bugfix] rename Nimrod to Nim, fix #11460 (#11462)
| -rw-r--r-- | config/nimdoc.tex.cfg | 2 | ||||
| -rw-r--r-- | doc/nimdoc.css | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/config/nimdoc.tex.cfg b/config/nimdoc.tex.cfg index 599ede345..76fef4afa 100644 --- a/config/nimdoc.tex.cfg +++ b/config/nimdoc.tex.cfg @@ -39,7 +39,7 @@ $content """ doc.file = """ -% This file was generated by Nimrod. +% This file was generated by Nim. % Generated: $date $time UTC \documentclass[a4paper]{article} \usepackage[left=2cm,right=3cm,top=3cm,bottom=3cm]{geometry} 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 */ |