Test: include test/sasa-rdbg-cmds.ml in test/*/my-rdbg-tuning.ml files
and git-track all of them
Showing
- guides/users/README.org 9 additions, 9 deletionsguides/users/README.org
- test/bfs-spanning-tree/my-rdbg-tuning.ml 3 additions, 0 deletionstest/bfs-spanning-tree/my-rdbg-tuning.ml
- test/coloring/my-rdbg-tuning.ml 12 additions, 0 deletionstest/coloring/my-rdbg-tuning.ml
- test/my_algo/my-rdbg-tuning.ml 3 additions, 0 deletionstest/my_algo/my-rdbg-tuning.ml
- test/rdbg-utils/my-rdbg-tuning.ml 3 additions, 0 deletionstest/rdbg-utils/my-rdbg-tuning.ml
- test/rsp-tree/my-rdbg-tuning.ml 6 additions, 0 deletionstest/rsp-tree/my-rdbg-tuning.ml
- test/skeleton/my-rdbg-tuning.ml 3 additions, 0 deletionstest/skeleton/my-rdbg-tuning.ml
- test/st-CYH91/my-rdbg-tuning.ml 3 additions, 0 deletionstest/st-CYH91/my-rdbg-tuning.ml
Loading
Please register or sign in to comment