diff options
Diffstat (limited to 'scripts/model/graph.js')
| -rw-r--r-- | scripts/model/graph.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/model/graph.js b/scripts/model/graph.js index c8a0e64c..657640bb 100644 --- a/scripts/model/graph.js +++ b/scripts/model/graph.js @@ -173,7 +173,7 @@ function Graph(el) { var k; var state_source, state_target, new_source, new_target; var changed_nodes; - var verbose = true; // XXX should be global. + var verbose = false; // XXX should be global. var set_old_name, set_new_name; new_nodes.map(function (f) { |