diff options
Diffstat (limited to 'sec/compiler.ltx')
| -rw-r--r-- | sec/compiler.ltx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sec/compiler.ltx b/sec/compiler.ltx index 2cfde8e..fad68d4 100644 --- a/sec/compiler.ltx +++ b/sec/compiler.ltx @@ -1,7 +1,7 @@ \documentclass[../main.tex]{subfiles} \begin{document} -\section{Idris 2 Compiler}% +\section{Idris 2 Compiler for Artyst}% \label{sec:compiler} \TODO{ |