Philipp Kühn 186654df5f add historyPluginOptions

2020-04-13 14:03:39 +02:00

..

src

add historyPluginOptions

2020-04-13 14:03:39 +02:00

index.ts

add commands to extension manager

2020-04-02 14:34:07 +02:00

package.json

update dependencies

2020-04-10 21:36:39 +02:00