remove unneeded libs

This commit is contained in:
Luke Pulverenti 2016-02-02 22:15:42 -05:00
parent 5aaaf08723
commit 59ea1c2f7d
1109 changed files with 0 additions and 58758 deletions

View file

@ -1,16 +0,0 @@
// foobar
(**)
(* foo
bar *)
----------------------------------------------------
[
["comment", "// foobar"],
["comment", "(**)"],
["comment", "(* foo\r\nbar *)"]
]
----------------------------------------------------
Checks for single-line and multi-line comments.