debian/dirs
author Edouard Tisserant
Tue, 30 Jun 2020 11:23:37 +0200
changeset 1092 220ddcce851d
parent 106 0fff950e578e
permissions -rwxr-xr-x
Fixed in standard function library: NE_BOOL was missing.
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     1
usr/bin