From 06ecd77000746986710317e68dbab9158fa5ace1 Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Tue, 7 Nov 2017 00:42:39 -0500
Subject: [PATCH] Fix.

---
 version.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.tex b/version.tex
index 803c611..e8d17d8 100644
--- a/version.tex
+++ b/version.tex
@@ -1 +1 @@
-\providecommand{\version}{local-dev}
+\newcommand{\version}{local-dev}
-- 
GitLab