A naive question

graph-tool
1

It does not accomplish anything; it's an innocuous remnant of a previous
revision. I have removed the line and will push it the repository shortly.