GitHub PushEvent at 2014-03-09 08:54:50
Repository: PathExplorer
Actor: tathanhdinh
Payload: {"shas":[["f974bb1c265d03641747dd60c498bea50a110fff","3ba46a18848e47419a2bd34cddf2806566cf1aee@gmail.com","because of the property of VertexList as vecS in boost graph: \"If the\nVertexList of the graph is vecS, then the graph has a builtin vertex\nindices accessed via the property map for the vertex_index_t property.\nThe indices fall in the range [0, num_vertices(g)) and are contiguous.\nWhen a vertex is removed the indices are adjusted so that they retain\nthese properties. Some care must be taken when using these indices to\naccess exterior property storage. The property map for vertex index is a\nmodel of Readable Property Map.\", the graph prunning does not work as\nexpected.","Ta Thanh Dinh",true]],"size":1,"ref":"refs/heads/windows_version","head":"f974bb1c265d03641747dd60c498bea50a110fff"}