Merge branch 'release-1.3.0' into develop
Semantic error (Kostya helped).
git bisect to find 'good'-commit (git bisect bad <-> git bisect good). Closes #604.
Merge branch '#604_bisect_swap' into develop
LyX format updated to 474 (>=LyX-2.0.8).
Add empty string after the lists and code blocks. Closes #623.
Merge branch '#623_code_lists' into develop
Bumped version number to 1.3.1
Merge branch 'release-1.3.1' into develop
Merge branch 'release-1.3.1'
Closes #646: Describe git fsck --dangling.
Closes #651: Describe Git Remote commands
such as update-ref refs/heads/master
573f6 or push origin :refs/tags/12345.
Merge branch '#651_remote_commands' into develop
Bumped version number to 1.3.2
Merge branch 'release-1.3.2'