Philipp Kühn
|
26ecc20a50
|
replace extensions
|
2020-09-08 23:44:45 +02:00 |
|
Philipp Kühn
|
b5e891cf02
|
improve some types
|
2020-08-22 00:12:34 +02:00 |
|
Philipp Kühn
|
186654df5f
|
add historyPluginOptions
|
2020-04-13 14:03:39 +02:00 |
|
Philipp Kühn
|
ca16a31e75
|
revert some magic
|
2020-04-13 12:27:29 +02:00 |
|
Philipp Kühn
|
e03d108423
|
add shortform to keys
|
2020-04-13 00:16:12 +02:00 |
|
Philipp Kühn
|
bd4fe7e5e3
|
rename some vars
|
2020-04-10 22:07:27 +02:00 |
|
Philipp Kühn
|
c27ebe8473
|
add commands to extension manager
|
2020-04-02 14:34:07 +02:00 |
|
Philipp Kühn
|
208ba890ef
|
add extension keymaps
|
2020-03-31 22:17:54 +02:00 |
|
Philipp Kühn
|
14421a11fa
|
rename package folders
|
2020-03-30 10:42:59 +02:00 |
|