
erwan
authored
This is necessary to be able to use sasa with luciole. Indeed, in rdbg/lurette, luciole always plays first. Hence if we want sasa to play after luciole, we can use the option.
Name | Last commit | Last update |
---|---|---|
bin | ||
doc | ||
lib/algo | ||
test | ||
.gitignore | ||
.gitlab-ci.yml | ||
.merlin | ||
Makefile | ||
algo.opam | ||
dune-project |