resolves #519 enable source-to-source navigation for inter-document xrefs#1039
Merged
kivikakk merged 1 commit intogithub:masterfrom Apr 3, 2017
Merged
resolves #519 enable source-to-source navigation for inter-document xrefs#1039kivikakk merged 1 commit intogithub:masterfrom
kivikakk merged 1 commit intogithub:masterfrom
