Sun, 22 Sep 2024 18:01:17 +0200
fix gtk box margin
80
40be5c189e2e
added missing build system files
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
1 | #!/bin/sh |
40be5c189e2e
added missing build system files
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
2 |