purple 71a23038fc Make extension button width dynamic and change it's background color.		2023-09-30 14:01:56 +02:00
..
extensions	Use README.md folder placeholders instead of hello.txt or .hello.txt.	2023-07-06 12:27:27 +02:00
internal	Make extension button width dynamic and change it's background color.	2023-09-30 14:01:56 +02:00