boost/website
2
0
Fork 0
mirror of https://github.com/boostorg/website.git synced 2026-01-28 07:42:16 +00:00
Code Issues Projects Releases Wiki Activity
Files
d35a3e755d222489bbfe9b4ddfe3cd0c0ff113d0
website/development/pull_requests.php
Daniel James 768ceaa946 Fix case insensitive category names 
Now they are indexed by lower case name, and library category is stored
in lower case.
2017-01-21 13:13:34 +00:00

7.0 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink