diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 0e871489fe..2c32d8662f 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -210,7 +210,6 @@ util/grammar/TreeRHS.scala util/regexp/Base.scala util/regexp/PointedHedgeExp.scala util/regexp/SyntaxError.scala -util/regexp/WildcardBase.scala util/regexp/WordExp.scala util/logging/Logged.scala util/logging/ConsoleLogger.scala |