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 /config | |
parent | 3a91a935847444956e40527d501ff3fb6553a7d6 (diff) | |
download | Nim-7cf9b522b5d2735b5279e9c2bdcade5c177868f8.tar.gz |
[bugfix] rename Nimrod to Nim, fix #11460 (#11462)
Diffstat (limited to 'config')
-rw-r--r-- | config/nimdoc.tex.cfg | 2 |
1 files changed, 1 insertions, 1 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} |