From 9b6dfbd33c17866c65e01f047f46c7b0a59b2c8c Mon Sep 17 00:00:00 2001
From: Lionel GUEZ <guez@lmd.ens.fr>
Date: Thu, 14 Apr 2022 22:26:08 +0200
Subject: [PATCH] Polish

---
 segments.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/segments.py b/segments.py
index 9b98808e..1b6f5611 100755
--- a/segments.py
+++ b/segments.py
@@ -2,7 +2,8 @@
 
 """Collapses the input graph into a new graph: the graph of
 segments. An edge of the graph is a segment. The new graph is output
-in the binary format of graph-tool.
+in the binary format of graph-tool. Input file should be an edgelist
+in CSV format. Output file can have suffix ".gt" or ".graphml".
 
 """
 
-- 
GitLab