 Daniele Bartolini
|
051a2a1620
tools: cleanup
|
3 hari lalu |
|
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 bulan lalu |
|
Daniele Bartolini
|
f8510cdfba
tools: everything is public
|
3 bulan lalu |
|
Daniele Bartolini
|
14742304da
tools: trim trailing decimal zeroes
|
7 bulan lalu |
|
Daniele Bartolini
|
155697bb25
tools: drop labels for vector inputs
|
8 bulan lalu |
|
Daniele Bartolini
|
2609a315ff
tools: drop using directive
|
8 bulan lalu |
|
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
8 bulan lalu |
