summaryrefslogtreecommitdiffstats
path: root/images/sean-connery-in-zardoz.jpg
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2025-10-30 13:59:51 +0100
committerDavid A. Madore <david+git@madore.org>2025-10-30 13:59:51 +0100
commit5a2c2febd2c963e58142edaf809f0a4cac806561 (patch)
tree189a1eb41966ee8236e262d5847d73cb382e9d1c /images/sean-connery-in-zardoz.jpg
parent9cea2929c6f53a485994553ef8cef720c8d763be (diff)
downloadinf110-lfi-5a2c2febd2c963e58142edaf809f0a4cac806561.tar.gz
inf110-lfi-5a2c2febd2c963e58142edaf809f0a4cac806561.tar.bz2
inf110-lfi-5a2c2febd2c963e58142edaf809f0a4cac806561.zip
Note Coq→Rocq name change.
Diffstat (limited to 'images/sean-connery-in-zardoz.jpg')
0 files changed, 0 insertions, 0 deletions