boost/website
2
0
Fork 0
mirror of https://github.com/boostorg/website.git synced 2026-02-11 00:12:09 +00:00
Code Issues Projects Releases Wiki Activity
Files
a52f25f6ca53b6e7e990d6a5f63fd904698bbfad
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