boost/website
2
0
Fork 0
mirror of https://github.com/boostorg/website.git synced 2026-01-29 08:02:20 +00:00
Code Issues Projects Releases Wiki Activity
Files
fca33f1b5dd7b83aa25cbdaa2ece73e8a372abab
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