udf
|
32e9a20f39
|
remove unnecessary strip
|
2018-04-08 19:07:12 +02:00 |
Dan Elkouby
|
61b90bd9e8
|
fix
|
2018-04-08 18:07:05 +03:00 |
Dan Elkouby
|
a807187b92
|
Require whitespace before args in ninja
|
2018-04-08 18:03:35 +03:00 |
udf
|
9a2c91160e
|
Merge branch 'master' of https://github.com/uniborg/uniborg
|
2018-04-08 16:54:34 +02:00 |
udf
|
923f04e688
|
add .edit command to ninja
it's now a full port from kateborg
|
2018-04-08 16:53:21 +02:00 |
Dan Elkouby
|
cd36ccf552
|
🎨
|
2018-04-08 17:44:09 +03:00 |
Dan Elkouby
|
3660e22036
|
Partial port of ninja.py from kateborg
|
2018-04-08 15:43:23 +03:00 |