Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #8651 - eefriedman:metadata-cleanup, r=jdm

Browse source 
Remove a couple dead ini files.

The directories in question no longer exist.

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/8651)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-11-24 12:13:50 +05:30
commit 037cac7353
2 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files