Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Plugins/Editor
Add option to use parent of project as workspace
March 4, 2020 11:55
.gitignore
Ignore all meta files.
September 23, 2015 12:08
HOWTO.pdf
Fix wrong url to github repository
June 12, 2016 14:05
LICENSE
* Fixed upgrading not forcing the replaced file to be imported. - Rem…
January 25, 2016 16:33
README.md
Fix broken Markdown headings
April 17, 2017 23:39