diff -r e8cf68d69447 -r 2b7e2db31d81 runtime_files.list --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/runtime_files.list Mon Jan 15 14:43:53 2018 +0100 @@ -0,0 +1,17 @@ +# those files are used in runtime +# licensed according to LGPL, see COPYING.runtime + +images/icostop24.png +images/icoplay24.png +images/brz.png +util/__init__.py +util/paths.py +runtime/WampClient.py +runtime/PLCObject.py +runtime/NevowServer.py +runtime/webinterface.js +runtime/__init__.py +runtime/ServicePublisher.py +runtime/typemapping.py +runtime/loglevels.py +Beremiz_service.py