GitHub CreateEvent at 2014-06-23 09:23:13
Repository: wcet_3
Actor: Konstantin-Selyunin
Payload: ref_type: repository
master_branch: master
description: WCET assignment 3: all required files + protocol
pusher_type: user