diff options
author | David A. Madore <david+git@madore.org> | 2020-06-05 17:11:53 +0200 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2020-06-05 17:11:53 +0200 |
commit | d59d4b9d5ddff6da7d2cfd91b0056bdbcaa4479f (patch) | |
tree | 341d1d964ea9f6ca4226a29b140a66c121560f35 /tp1-files/liste2 | |
parent | cfe6960833307e4b168838d97767c722fc5c592b (diff) | |
download | inf105-d59d4b9d5ddff6da7d2cfd91b0056bdbcaa4479f.tar.gz inf105-d59d4b9d5ddff6da7d2cfd91b0056bdbcaa4479f.tar.bz2 inf105-d59d4b9d5ddff6da7d2cfd91b0056bdbcaa4479f.zip |
Microscopic reformulations to avoid some possible ambiguities.
Diffstat (limited to 'tp1-files/liste2')
0 files changed, 0 insertions, 0 deletions