renamed makefiles

dev/timer
Ludwig Ortmann 10 years ago
parent f8973bb007
commit 3ec4800ae8
Loading…
Cancel
Save