diff make-dist @ 100421:0b3bb7c982eb

(proced-auto-update-interval): Renamed from proced-timer-interval. (proced-auto-update-flag): Renamed from proced-timer-flag. (proced-auto-update-timer): Renamed from proced-timer. (proced-toggle-auto-update): Renamed from proced-toggle-timer-flag. (proced-available): Initialize appropriately.
author Roland Winkler <Roland.Winkler@physik.uni-erlangen.de>
date Sun, 14 Dec 2008 17:31:34 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff