From 613771fae40f563547e4ad8d6887407edb14de9b Mon Sep 17 00:00:00 2001 From: Nils <> Date: Fri, 24 Jul 2020 14:11:22 +0200 Subject: [PATCH] Update documentation and info files --- configure | 2 +- documentation/out/english.html | 2 +- documentation/out/german.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/configure b/configure index 3f47ba3..886f1c6 100755 --- a/configure +++ b/configure @@ -1,5 +1,5 @@ program=agordejo -version=0.1 +version=0.1.1 #debugsym=true prefix=/usr/local diff --git a/documentation/out/english.html b/documentation/out/english.html index 322adf3..31c58c8 100644 --- a/documentation/out/english.html +++ b/documentation/out/english.html @@ -1248,7 +1248,7 @@ The easiest way is to contact the developers and they will setup the new languag