Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -rbb3c756fb47517596b9dbcb4e580aa1212827b41 -r2846921e448d4d4aeb3245ebbfe4381182f0e286 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision bb3c756fb47517596b9dbcb4e580aa1212827b41) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 2846921e448d4d4aeb3245ebbfe4381182f0e286) @@ -10750,7 +10750,3 @@ - - - -