Remove extraneous folder from PR (GH #723)

pull/730/head
Jeffrey Walton 2018-10-22 07:53:23 -04:00
parent 253f1ba5da
commit 88af6d7230
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
1 changed files with 0 additions and 1 deletions

1
cmake

@ -1 +0,0 @@
Subproject commit 2729870f277bd568a8e8183b5ba7799e0c2dbf96