diff options
Diffstat (limited to 'misc/progress.js')
| -rw-r--r-- | misc/progress.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/progress.js b/misc/progress.js index 776e2b637..cc029e5b5 100644 --- a/misc/progress.js +++ b/misc/progress.js @@ -1,3 +1,5 @@ +// $Id$ + /** * A progressbar object. Initialized with the given id. Must be inserted into * the DOM afterwards through progressBar.element. |