|
format
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
interface
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
plugin
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
scheme
|
Nicer name
|
2019-06-01 10:02:54 +00:00 |
|
source
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
style
|
Continued reorganization of Document menu
|
2013-10-26 21:20:27 +00:00 |
