From 214b6ff298c8d16a1e9b3f2d57d025e19abe4720 Mon Sep 17 00:00:00 2001 From: Raymond Toy <toy.raymond@gmail.com> Date: Sun, 6 Jan 2013 09:53:43 -0800 Subject: [PATCH] Add label for source paths that was missing. --- src/docs/internals/interface.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/docs/internals/interface.tex b/src/docs/internals/interface.tex index 2a192d89d..b08631e81 100644 --- a/src/docs/internals/interface.tex +++ b/src/docs/internals/interface.tex @@ -3,4 +3,4 @@ \section{Error Message Utilities} \section{Source Paths} - +\label{source-paths} -- GitLab