浏览代码

Merge pull request #1068 from achlipala/master

Ur/Web: Cleanup config file
Hamilton Turner 11 年之前
父节点
当前提交
81604309e4
共有 1 个文件被更改,包括 0 次插入1 次删除
  1. 0 1
      frameworks/Ur/urweb/bench.urp

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

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