# HG changeset patch # User Drew Perttula # Date 1433750447 0 # Node ID 42656c3b31f44e75da08c8b11f6c349f692fe79d # Parent 5c0ba2141be98c40f71ef377fd92cd7cd92a09d1 update jquery-ui, remove rdflib bnode workaround Ignore-this: 35d5df34035655aa0f4f0ebdde7b78ce diff -r 5c0ba2141be9 -r 42656c3b31f4 light9/ascoltami/index.html --- a/light9/ascoltami/index.html Mon Jun 08 08:00:19 2015 +0000 +++ b/light9/ascoltami/index.html Mon Jun 08 08:00:47 2015 +0000 @@ -6,8 +6,8 @@ ascoltami on ${host} - - + + @@ -49,7 +49,6 @@

Running on

todo: display next action -

reload