Removed exits from numeric.cpp and use array indices instead of push_back.

[ginac.git] / CVSROOT / config

# Set this to "no" if pserver shouldn't check system users/passwords
#SystemAuth=no

# Set `PreservePermissions' to `yes' to save file status information
# in the repository.
#PreservePermissions=no