erwan
authored
This can be used from rdbg from example, to generate session files. In particular, 'rdbg -lurette' now works thanls to this option (cf rdbg sha 63566a893807361691137cafe15854a2a7395eec) Remove the --generate-rdbg-load one that is less general
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Makefile | ||
| my-rdbg-tuning.ml | ||
| p.ml | ||
| ring.dot | ||