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