Bläddra i källkod

Remove unnecessary line from Ur/Web configuration file

Adam Chlipala 11 år sedan
förälder
incheckning
9ce3f7caea
1 ändrade filer med 0 tillägg och 1 borttagningar
  1. 0 1
      frameworks/Ur/urweb/bench.urp

+ 0 - 1
frameworks/Ur/urweb/bench.urp

@@ -10,5 +10,4 @@ noMangleSql
 html5
 
 $/list
-$/string
 bench