Up – Package index » rdbg » Sources » rdbg-plugin.rdbg » rdbgVersion.ml

Source file `rdbgVersion.ml`

rdbg
- Library rdbg-plugin
- Library rdbg-plugin.rdbg
- Library rdbg-plugin.rdbg4lurette
- Sources
  - rdbg-plugin
  - rdbg-plugin.rdbg
  - rdbg-plugin.rdbg4lurette
    - extTool.ml
    - rdbgArg.ml

1
2
3
let str="1.175"
let sha="b3a56a8"
let branch="master"