Alexander Schäferdiek a25c48d2ea Update plugins and add a hint about git integration		2022-09-18 16:03:25 +02:00
..
main.js	Update plugins and add a hint about git integration	2022-09-18 16:03:25 +02:00
manifest.json	Update plugins and add a hint about git integration	2022-09-18 16:03:25 +02:00
styles.css	Update plugins and add a hint about git integration	2022-09-18 16:03:25 +02:00