mirror of
https://github.com/xzeldon/htop.git
synced 2025-01-12 09:46:49 +03:00
50f03f5950
Only write a new .h file if something changed for the header file being created. This prevents a lot of recompilation during development |
||
---|---|---|
.. | ||
MakeHeader.py |