Cy Schubert 35e9f5f4ba Now that krb5-114 is gone, remove the option too.		2018-12-31 20:26:37 +00:00
..
Makefile	Now that krb5-114 is gone, remove the option too.	2018-12-31 20:26:37 +00:00