move Modifiable_priority_queue in STL_Extension as it is used by Mesh_3

This commit is contained in:
Sébastien Loriot 2011-02-15 16:24:09 +00:00
parent 4fc6788be8
commit d19e13d863
1 changed files with 0 additions and 0 deletions