Closed michielbdejong closed 6 years ago
@michielbdejong this PR will be unnecessary once https://github.com/tobie/specref/pull/436 is merged as I will remove the localBiblio entirely.
localBiblio
Continued in https://github.com/interledger/specref/pull/1
@michielbdejong this PR will be unnecessary once https://github.com/tobie/specref/pull/436 is merged as I will remove the
localBiblio
entirely.