From 372908c17e39c79a4447c021f662c301b15785ea Mon Sep 17 00:00:00 2001 From: Andrea Lepori Date: Tue, 23 Jan 2024 17:02:54 +0100 Subject: update group of docs when type changes --- version.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'version.txt') diff --git a/version.txt b/version.txt index d9d6a47..154f90c 100644 --- a/version.txt +++ b/version.txt @@ -1,2 +1,2 @@ version=0.7 -rev=13 +rev=14 -- cgit v1.2.1