diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-16 08:01:00 -0800 |
commit | be6a484a997a8477d4c3b03c17f798c1b0061bf1 (patch) | |
tree | 5c2e6dfa747144ba11dbdc8298ad08b19d5e49d1 /abc.rc | |
parent | ae037e45038cca6f0b86abea50692399a03b01be (diff) | |
download | abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.gz abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.tar.bz2 abc-be6a484a997a8477d4c3b03c17f798c1b0061bf1.zip |
Version abc61216
Diffstat (limited to 'abc.rc')
-rw-r--r-- | abc.rc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ # global parameters set check # checks intermediate networks #set checkfio # prints warnings when fanins/fanouts are duplicated -#set checkread # checks new networks after reading from file +set checkread # checks new networks after reading from file set backup # saves backup networks retrived by "undo" and "recall" set savesteps 1 # sets the maximum number of backup networks to save set progressbar # display the progress bar |