aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-07 11:28:04 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-07 11:56:22 +0200
commit25246653f9b4a3208fe2288ee369c03cdb018704 (patch)
tree5e74382263c946cc00fa015a44b6e11ddbe25463 /README.md
parent1666fc55a5f695950c26e5c3d5e1c3c1ab6f6be5 (diff)
Switch to plain makefiles for buildingHEADv1.4master
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions