• Fardale's avatar
    Improve jobq · 23fc68d0
    Fardale authored
    delete without id will always delete the last job
    better printing of the jobq
    23fc68d0
Name
Last commit
Last update
src Loading commit data...
dune-project Loading commit data...
ocluster.opam Loading commit data...