aboutsummaryrefslogtreecommitdiff
path: root/script.it/selection.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 16:09:14 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:15:44 +0100
commit5d5549c168af51195e66bf67cc5b23382b8c7d52 (patch)
tree6268ecee9135854b209a5533eeb99540b7955f31 /script.it/selection.ml
parent58e892fb0159c42740ae92a642f7eb76245950a6 (diff)
Changed the organisation in the applications
Diffstat (limited to 'script.it/selection.ml')
0 files changed, 0 insertions, 0 deletions