Andrey Skvortsov <andrej.skvortzov@gmail.com> [Fri, 11 Aug 2017 15:18:19 +0300] rev 1726
don't allow empty dimension for ARRAY types
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 09 Aug 2017 14:34:28 +0300] rev 1725
ignore built documentation
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 09 Aug 2017 14:13:17 +0300] rev 1724
manual: add untranslated po files for French and Korean
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Wed, 09 Aug 2017 14:11:20 +0300] rev 1723
build missing pot files, when building HTML documentation
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Mon, 07 Aug 2017 14:28:29 +0300] rev 1722
fix some typos
janbarslo [Sun, 30 Jul 2017 13:54:51 -0700] rev 1721
Changed title of new project dialog from:
Choose a project
to
Choose an empty directory for new project
janbarslo [Sun, 30 Jul 2017 13:51:43 -0700] rev 1720
Changed title of New Project dialog
from
Chose a project
to
Choose an empty directory for new project
Andrey Skvortsov <andrej.skvortzov@gmail.com> [Fri, 28 Jul 2017 15:34:11 +0300] rev 1719
skip hidden files and directories on permission check
To fix problems with git, because .git subdirectory contains
read-only repository objects.