# HG changeset patch # User Goffi # Date 1509714945 -3600 # Node ID 725ca928fa2cbe31b9d71ed2905a74bf01dcb75b # Parent c8cb4e867897a830da6b2fa0957cd3041aa4c338 fixed bad execution permissions diff -r c8cb4e867897 -r 725ca928fa2c sat_tmp/wokkel/pubsub.py diff -r c8cb4e867897 -r 725ca928fa2c sat_tmp/wokkel/test/test_pubsub.py