boostorg/graph — pull request #4 by cirosantilli (2014-04-13 20:46:50+00:00)
Title: Rename adding color header to just properties.

I would have understood what this section was about better at a glance if it had a more precise name.