6af1f6bcb5 · Changed mnerva to not use kerberos (heimdal) for now · Updated 17 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?