Peter Fabian
|
e01792d90a
|
Fixed a mistake in merge.
|
2018-06-06 23:21:58 +02:00 |
|
Peter Fabian
|
3e75307f33
|
Merge branch 'master' into add/version-picking
|
2018-06-06 23:19:25 +02:00 |
|
Peter Fabian
|
68d1f3898f
|
Fixed formatting error introduced by editing on GitHub.
|
2018-06-06 18:32:19 +02:00 |
|
Peter Fabian
|
06e92b78e9
|
Merge branch 'master' into add/version-picking
|
2018-06-06 18:30:41 +02:00 |
Mike Jolley
|
04946ed0a4
|
Add settings
|
2018-06-06 16:14:32 +01:00 |
|
Mike Jolley
|
814b587ad7
|
Use radio inputs
|
2018-06-06 15:14:27 +01:00 |
|
Peter Fabian
|
a5775ba5e8
|
PHPCS updates and wording update.
|
2018-06-06 14:30:25 +02:00 |
|
Peter Fabian
|
199d34a32a
|
Moved version picker to its own class, added to Tools menu.
|
2018-06-06 12:58:57 +02:00 |
Gerhard Potgieter
|
9c2346e68b
|
Settings
|
2018-06-05 13:11:39 +02:00 |