ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-20 19:55:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
3,179 Commits 29 Branches 32 Tags
85df40d86d2a41e80f933dce3acfe1ce4a9a9060
Commit Graph

2 Commits

Author SHA1 Message Date
mDuo13
828e7c354f PR-aware multi-language link checking(?) 2019-11-27 15:20:56 -08:00
mDuo13
10abd4b1cd Language support updates 
- Unicode header IDs filter
- Change some links to use the new ID formula
  (It matches the GitHub-Flavored Markdown standard closely.)
- Build script changes
 2019-11-05 23:08:41 -08:00