mirror of https://github.com/patacrep/patacrep.git
Browse Source
added hyperref option to have auto expanding on bookmarks.remotes/origin/translate_notes
1 changed files with 3 additions and 2 deletions
Loading…
Reference in new issue