diff options
| author | Valery Ushakov <uwe@stderr.spb.ru> | 2020-11-10 01:01:06 +0300 |
|---|---|---|
| committer | Valery Ushakov <uwe@stderr.spb.ru> | 2020-11-10 01:01:06 +0300 |
| commit | a93f6c888f6d530420fbb54e2f7fa4572cdc5208 (patch) | |
| tree | cb1afd76dc6298465dc32e7cacf244c2c02c9700 /utils/mkfile | |
| parent | 7828d5d2aa2aeba1588dba190fd80dcab95d982b (diff) | |
| parent | ff5ab8e7bad9f4c04b5d06dbc4290fe0f43c4467 (diff) | |
Merged inferno-os/inferno-os into master
Diffstat (limited to 'utils/mkfile')
| -rw-r--r-- | utils/mkfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/mkfile b/utils/mkfile index 9b8b3126..804215b3 100644 --- a/utils/mkfile +++ b/utils/mkfile @@ -45,6 +45,9 @@ NOTPLAN9=\ ka\ kc\ kl\ + ia\ + ic\ + il\ mk\ ksize\ kstrip\ |