[bugfix] rename Nimrod to Nim, fix #11460 (#11462)

This commit is contained in:
Miran 2019-06-10 12:54:43 +02:00 • committed by GitHub
commit 7cf9b522b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -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}

View file

@ -17,7 +17,7 @@ customize this style sheet.
*/
/*
Modified for the Nimrod Documenation by
Modified for the Nim Documenation by
Andreas Rumpf
*/