From 17560c0e8183307f63e598039f72e46d2570c23f Mon Sep 17 00:00:00 2001 From: Andrea Lepori Date: Tue, 23 Jan 2024 15:33:38 +0100 Subject: show hidden types with unarchived docs --- version.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'version.txt') diff --git a/version.txt b/version.txt index 84bab50..d4f35c8 100644 --- a/version.txt +++ b/version.txt @@ -1,2 +1,2 @@ version=0.7 -rev=11 +rev=12 -- cgit v1.2.1