#!/bin/sh
# \
exec tclsh "$0" "$@"

set TIME_start [clock seconds]





set filename initial
file delete {*}[glob -nocomplain *.bun *.cen *done *.fin *.log *.lost *.mpr *.param *.twi Pelegant.*]





set TIME_end [clock seconds]
set ComputingTime [expr $TIME_end - $TIME_start]
puts stderr "Total computing time is $ComputingTime seconds"
