add an optional parameter to restart
authorDana Jansens <danakj@orodu.net>
Fri, 10 Jan 2003 22:50:56 +0000 (22:50 +0000)
committerDana Jansens <danakj@orodu.net>
Fri, 10 Jan 2003 22:50:56 +0000 (22:50 +0000)
commit6f500e23e31d46fa84d3864114b3ad8d316a8cb2
tree3d5e175d595dd55c6c2a8dc66bba98666a90b286
parentbcd808d0841e405970876d8e07afd9349f6febc4
add an optional parameter to restart
scripts/builtins.py