Merge pull request #47 from jfdm/release

Bumped release number for version.
idris-lang · Oct 28, 2014 · ec4a400 · ec4a400
2 parents 1d77086 + fe699aa
commit ec4a400
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/imports.sty b/imports.sty
@@ -17,7 +17,7 @@
 \RequirePackage{courier}
 
 \RequirePackage{hyperref}
-\RequirePackage[missing=0.9.15]{gitinfo}
+\RequirePackage[missing=0.9.15.1]{gitinfo}
 
 \RequirePackage{multicol}
 \RequirePackage{enumitem}