diff options
| author | dianshi <dianshi@main.lv> | 2020-07-08 20:46:26 +0100 |
|---|---|---|
| committer | dianshi <dianshi@main.lv> | 2020-07-08 20:46:26 +0100 |
| commit | 2e81ecf46d44b91bcdef35ef3e900554f3cb187c (patch) | |
| tree | 76a2a5d025e58839183ad42736df236a29138d35 /omkdir/omkdir.ml | |
| parent | e413daa66e0a987e92a3c9f936e01cb6e1150535 (diff) | |
| download | osystem-2e81ecf46d44b91bcdef35ef3e900554f3cb187c.tar.gz osystem-2e81ecf46d44b91bcdef35ef3e900554f3cb187c.zip | |
ols simple directory list
Diffstat (limited to 'omkdir/omkdir.ml')
0 files changed, 0 insertions, 0 deletions