| author | Stephane Glondu <steph@glondu.net> | |
| Thu, 17 Aug 2023 12:27:20 +0000 (14:27 +0200) | ||
| committer | Stéphane Glondu <glondu@debian.org> | |
| Thu, 17 Aug 2023 12:30:17 +0000 (14:30 +0200) | ||
| commit | 4658186d04b5da5ededeea254b418fcea6d5dc2d | |
| tree | 71ce52e097e98eb0a2dfccff09f41a3a9e3b8f56 | tree | snapshot |
| parent | 24471bb0a126f87222b3842f3d72f30417df524e | commit | diff |
| clock/select/select.ml | diff | blob | history |