git.iko.soy/Idris-dev
on ef93607 help sign in
Idris-dev/tutorial/conf.ltx
12 lines 219 B history raw
2%% This file contains configurations of used packages
5% Configuration of hyperref (to not use colors):
6\hypersetup{
7 colorlinks,
8 linkcolor=black,
9 citecolor=black,
10 filecolor=black,
11 urlcolor=black