Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove dead code elimination option (#7669) | Jacek Sieka | 2018-04-23 | 1 | -2/+2 |
* | Renamed jsondoc2 to jsondoc, similar to doc2 (#7279) | PMunch | 2018-03-08 | 1 | -1/+1 |
* | Add Bash completion script | Federico Ceratto | 2017-09-03 | 1 | -0/+47 |