An error occurred while fetching folder content.
Select Git revision
toolkit
-
-
- Open in your IDE
- Download source code

Reiter, Christoph authored
Add anew one since this adds some default padding and I don't want to break existing layouts by changing the normal button. If we figure out a way to keep the layout the same without changing the padding then we can merge things back. Also align the mini spinner a bit better with text
Name | Last commit | Last update |
---|