release 1.3.3: fix GIT notes vs GUI notes; docs cleanup
This commit is contained in:
parent
f40f593ba1
commit
43494c1c8c
9 changed files with 82 additions and 175 deletions
2
VERSION
2
VERSION
|
|
@ -1 +1 @@
|
|||
1.3.2
|
||||
1.3.3
|
||||
Loading…
Add table
Add a link
Reference in a new issue