![]() |
Algorithmique
Numérique
Distribuée Public GIT Repository |
2023-06-05 | Martin Quinson | Merge branch 'rename-operation-task' into 'master' | tree | commitdiff |
2023-06-02 | Adrien Gougeon | rename operation to task. rename execute to fire. | tree | commitdiff |