diff options
Diffstat (limited to 'src/config-files')
| -rw-r--r-- | src/config-files/krb5.conf | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/config-files/krb5.conf b/src/config-files/krb5.conf index 210348fa18..62fbbd6006 100644 --- a/src/config-files/krb5.conf +++ b/src/config-files/krb5.conf @@ -16,10 +16,8 @@ } [domain_realm] - .mit.edu = ATHENA.MIT.EDU mit.edu = ATHENA.MIT.EDU - .media.mit.edu = MEDIA-LAB.MIT.EDU - media.mit.edu = MEDIA-LAB.MIT.EDU + csail.mit.edu = CSAIL.MIT.EDU .ucsc.edu = CATS.UCSC.EDU [logging] |