htop/scripts
Diederik de Groot 50f03f5950 Enh: scripts/MakeHeader script
Only write a new .h file if something changed for the header file being created.
This prevents a lot of recompilation during development
2017-04-21 16:39:03 +02:00
..
MakeHeader.py Enh: scripts/MakeHeader script 2017-04-21 16:39:03 +02:00