aboutsummaryrefslogtreecommitdiff
path: root/src/course.mli
diff options
context:
space:
mode:
authorAlban Gruin2020-09-12 15:09:44 +0200
committerAlban Gruin2020-09-12 15:10:02 +0200
commit6a0b1d0778aacd1e5baf57940f48f940abc80652 (patch)
tree8650e645d39e1b4e2ec714da81c24653d27ec53b /src/course.mli
parent94428f9e3c69ebd23e843fa77259b0dd3dc53142 (diff)
ucs: fetch group based on URL
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/course.mli')
0 files changed, 0 insertions, 0 deletions