diff options
| author | Alban Gruin | 2020-09-12 14:00:54 +0200 |
|---|---|---|
| committer | Alban Gruin | 2020-09-12 14:00:54 +0200 |
| commit | 31fa3ca1b6511b912beea7cd658ffe5a31048a6b (patch) | |
| tree | 6b9bafdad331c5ed95905510a133f5ad9b95592b /dune-project | |
| parent | 216d0af10e49bd74a66aaad34475c5ef525e09b7 (diff) | |
course: use Astring to split strings and to check for prefixes
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions