From 3d0b80860d46c4182175ee32f29fe2117d0c2a34 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 7 Nov 2014 13:31:09 -0500 Subject: [PATCH] Remove unused source file --- src/authentication.rkt | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 src/authentication.rkt diff --git a/src/authentication.rkt b/src/authentication.rkt deleted file mode 100644 index b97ef0e..0000000 --- a/src/authentication.rkt +++ /dev/null @@ -1,13 +0,0 @@ -#lang racket/base - -(require racket/class) - -(provide userdb<%>) - -(define userdb<%> - (interface () - user-exists? ;; String -> Boolean - create-user! ;; String String -> Void - reset-user-password! ;; String -> Void - credentials-valid? ;; String String -> Boolean - ))