From 30ae28e6f8f355198148e91d55bcd816d2d67565 Mon Sep 17 00:00:00 2001
From: KatolaZ
Date: Mon, 19 Oct 2015 17:16:44 +0100
Subject: Few changes to doc files
---
doc/html/mammult_docsu2.html | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
(limited to 'doc/html/mammult_docsu2.html')
diff --git a/doc/html/mammult_docsu2.html b/doc/html/mammult_docsu2.html
index b28c5ff..17fc922 100644
--- a/doc/html/mammult_docsu2.html
+++ b/doc/html/mammult_docsu2.html
@@ -7,7 +7,7 @@
-
+
@@ -18,7 +18,7 @@ href="mammult_docsu1.html#tailmammult_docsu1.html" >prev-tail] [tail] [up]
node_activity.py
_ID and dest_ID are the IDs of the two endpoints of an
edge.
+
+
+
OUTPUT
A list of lines, where the n-th line is the value of activity of the n-th node,
--
cgit v1.2.3