use __deref__() until we have something better
authorFelix Domke <tmbinc@elitedvb.net>
Mon, 30 Apr 2007 22:45:33 +0000 (22:45 +0000)
committerFelix Domke <tmbinc@elitedvb.net>
Mon, 30 Apr 2007 22:45:33 +0000 (22:45 +0000)
commit64527bb84e00d6643e1b1a9e757e0867506c3d74
tree5e53f865b6e287ae3239301ee373d565e0433ab8
parent5b8f2b881ba69de7269b27aa4c5dff7c7d4b2e5c
use __deref__() until we have something better
RecordTimer.py