auto-dep.py
|
Merge menubar into menu
|
2018-07-21 17:56:10 +09:00 |
calc-size.sh
|
Without __pycache__, smaller python
|
2018-06-26 09:05:11 +09:00 |
check-reqs.sh
|
Guess we don't *need* py 3.6...
|
2018-07-19 09:38:20 +09:00 |
check.sh
|
Fixes
|
2018-03-21 17:17:48 +09:00 |
generate_symbols.py
|
Merge kernel
|
2018-03-16 21:56:19 +09:00 |
lm.c
|
Fix several Python things
|
2018-06-26 20:53:48 +09:00 |
make-version
|
Merge kernel
|
2018-03-16 21:56:19 +09:00 |
netinit.c
|
More of that...
|
2018-07-23 20:45:10 +09:00 |
prompt.sh
|
oops, stderr
|
2018-07-19 09:32:25 +09:00 |
update-devtable.py
|
/tmp should be world-writable
|
2018-07-19 14:09:49 +09:00 |
update-extents.py
|
Convert update-extents to python3
|
2018-07-18 12:44:05 +09:00 |