Doc: some work on the documentation
Showing
- guides/users/README.md 36 additions, 29 deletionsguides/users/README.md
- guides/users/README.org 124 additions, 32 deletionsguides/users/README.org
- lib/algo/algo.mli 10 additions, 3 deletionslib/algo/algo.mli
- lib/sasacore/sasa.ml 12 additions, 7 deletionslib/sasacore/sasa.ml
- test/Makefile.inc 4 additions, 4 deletionstest/Makefile.inc
- test/coloring/Makefile 10 additions, 1 deletiontest/coloring/Makefile
- test/dfs/Makefile 1 addition, 1 deletiontest/dfs/Makefile
- test/my-rdbg-tuning.ml 1 addition, 1 deletiontest/my-rdbg-tuning.ml
Loading
Please register or sign in to comment