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