make/package_unix.sh@884d70e847a3 (annotated)
make/package_unix.sh
Mon, 17 Nov 2025 11:28:47 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Mon, 17 Nov 2025 11:28:47 +0100
- changeset 901
- 884d70e847a3
- parent 0
-
1f419bd32da1
- permissions
- -rwxr-xr-x
implement grid margin (Motif)
0
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
1
|
#!/bin/sh
|
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff
changeset
|
2
|
|