Merge pull request #432 from BigBlueHat/patch-1

Rename distbin.com to distbin.com.md
w3c · May 9, 2018 · 2d27d7d · 2d27d7d
2 parents eebc7a6 + 88150b7
commit 2d27d7d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/implementation-reports/distbin.com → implementation-reports/distbin.com.md b/implementation-reports/distbin.com → implementation-reports/distbin.com.md