 Daniele Bartolini
|
051a2a1620
tools: cleanup
|
преди 3 дни |
|
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
преди 1 месец |
|
Daniele Bartolini
|
f8510cdfba
tools: everything is public
|
преди 3 месеца |
|
Daniele Bartolini
|
14742304da
tools: trim trailing decimal zeroes
|
преди 7 месеца |
|
Daniele Bartolini
|
155697bb25
tools: drop labels for vector inputs
|
преди 8 месеца |
|
Daniele Bartolini
|
2609a315ff
tools: drop using directive
|
преди 8 месеца |
|
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
преди 8 месеца |
