From: Rui M. <rui...@gm...> - 2017-01-08 11:21:31
|
On 01/08/2017 11:09 AM, Ulya Trofimovich wrote: > Good idea, thank you! > > One minor issue: I believe the title should be either "re2c" or "RE2C", > not "Re2c" :) Thanks for pointing that out. It seems wikipedia imposes some technical restrictions on page names, which includes the forced capitalization of the page title's leading character.[¹] After a bit of digging I believe I've found a fix. Rui Maciel [¹] https://en.wikipedia.org/wiki/Wikipedia:Naming_conventions_%28technical_restrictions%29#Lowercase_first_letter |