[ breaking ] Cleanup, remove unused BaseTestsDir interface

buzden · Oct 23, 2023 · e0be14e · e0be14e
1 parent 982dac7
commit e0be14e
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/src/Test/Golden/RunnerHelper.idr b/src/Test/Golden/RunnerHelper.idr
@@ -12,13 +12,6 @@ import System.Directory
 
 --- Configuration facilities ---
 
--- Deprecated and to be removed in next versions
-public export
-interface BaseTestsDir where
-  constructor MkBaseTestsDir
-  %deprecate
-  baseTestsDir : String
-
 public export
 record BuildDir where
   constructor MkBuildDir