Tools: master 2284a615
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| dregad | dregad | master | 2013-05-22 06:54 | master 7a9bd5d8 |
| Changeset | docbook-manual-repo.py: revert to originally checked-out branch Previously the script was leaving the repository checked-out to the last |
|||
| mod - docbook-manual-repo.py | Diff File | |||
