Merge pull request #2446 from akoeplinger/remove-leftover-file
commit4a3addecd1d0fdde4acc46f745b954820f8c4328
authormonojenkins <jo.shields+jenkins@xamarin.com>
Fri, 15 Jan 2016 20:15:17 +0000 (15 20:15 +0000)
committermonojenkins <jo.shields+jenkins@xamarin.com>
Fri, 15 Jan 2016 20:15:17 +0000 (15 20:15 +0000)
tree82f50bc2a6e0403a0a8bbc940b4607d5c5924663
parentf73b752db56bba83254d4b5212bf9076eb9349cc
parent1b8aef4bbed016b8db61dbe94dcb027777161a6e
Merge pull request #2446 from akoeplinger/remove-leftover-file

[corlib] Remove left-over files from long ago (System.PAL/Linux)

They are no longer in use and cause confusion as they show up in search results.

@monojenkins merge