tree b829fb921f4d34bbfbab0461736a42e8df2249d1
parent ae0a7946be7cd5ad0d242019bc9d49fe33250519
author Sam Rawlins <sam.rawlins@gmail.com> 1530766506 -0700
committer GitHub <noreply@github.com> 1530766506 -0700

Remove initial number stripping from header IDs; github doesn't do it (dart-lang/markdown#227)