Giacomo Tesio 7401210ed2 mksh: use $JEHENNE/posix		2018-11-26 23:29:26 +01:00
..
src@dddf3694e9	mksh: update	2018-11-21 00:05:45 +01:00
.gitignore	mksh: .gitignore	2017-12-19 00:18:26 +01:00
build.sh	mksh: use $JEHENNE/posix	2018-11-26 23:29:26 +01:00