mirror of
https://git.planet-casio.com/Lephenixnoir/gint.git
synced 2025-05-25 13:05:10 +02:00
Retrieve commit from branch reference when not in detached HEAD mode. A full rebuild is still needed after changing branch, but not at each commit. |
||
---|---|---|
.. | ||
Makefile |