Remove unused command

This commit is contained in:
Jip J. Dekker 2021-07-26 13:13:47 +10:00
parent 205b25d74b
commit 19cb6a114e
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -74,15 +74,6 @@
\usepackage{graphicx}
\usepackage{subcaption}
% % TODO: What am I doing with this?
\newcommand*\justify{%
\fontdimen2\font=0.4em% interword space
\fontdimen3\font=0.2em% interword stretch
\fontdimen4\font=0.1em% interword shrink
\fontdimen7\font=0.1em% extra space
\hyphenchar\font=`\-% allowing hyphenation
}
\newcommand{\Vlabel}[1]{\label[line]{#1}\hypertarget{#1}{}}
\newcommand{\lref}[1]{line~\hyperlink{#1}{\ref*{#1}}}
\newcommand{\Lref}[1]{Line~\hyperlink{#1}{\ref*{#1}}}