Headers of files unified.
This commit is contained in:
Tomas Abad 2023-05-31 18:14:19 +02:00
parent 9914cf5e18
commit 78cac6a07c
18 changed files with 53 additions and 35 deletions

View file

@ -1,7 +1,10 @@
:global Filename "ch10-08-bad-script.rsc"
# A script to perform a series of tests on a
# filename: ch10-08-bad-script.rsc
#
# A simple script to perform a series of tests on a
# list of web sites.
:global Filename "ch10-08-bad-script.rsc"
# set DEBUG to "true" for script debugging output,
# "false" for normal operation
:global DEBUG false;