search

euctrl-pru / website

the source of the web site
https://euctrl-pru.github.io/
1 stars 0 forks source link

Wrong order of letters in Definitions #114

Closed espinielli closed 7 years ago

espinielli commented 7 years ago

The index of letters' links is wrong for Definitions: D and E after W (and E duplicated)!