diff -r 2de61e2fbf14 -r e83aa36b6627 runtime_files.list
--- a/runtime_files.list	Mon Aug 13 15:00:51 2018 +0200
+++ b/runtime_files.list	Tue Aug 14 12:43:43 2018 +0200
@@ -10,6 +10,7 @@
 runtime/PLCObject.py
 runtime/NevowServer.py
 runtime/webinterface.js
+runtime/webinterface.css
 runtime/__init__.py
 runtime/ServicePublisher.py
 runtime/typemapping.py