pierriko/gladys — pull request #9 by cyrobin (2013-09-20 08:45:31+00:00)
Title: Exploration

Update the API for frontier detection used by exploration planning.