aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorTristan Riehs <tristan.riehs@inria.fr>2026-08-03 09:44:30 +0200
committerTristan Riehs <tristan.riehs@inria.fr>2026-08-03 09:44:30 +0200
commit0e8c1c97518d9d746eb33c3819d5786b403a8707 (patch)
tree58f439bb06ccc189b5b328db0f22672c547c5828 /.gitmodules
parenta0be689cf7154f8cbe2e09901d8ce7a660ac68cb (diff)
Remove todo regarding readline
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions