Remove now obsolete placeholder

The directory has content, we can remove the placeholder now.

Change-Id: I0bcfde2ca531b93f7a4cdea12abc673c05894b1f
This commit is contained in:
Andreas Jaeger 2015-11-09 20:38:01 +01:00
parent b5075a8136
commit 9ac5de89fc
1 changed files with 0 additions and 0 deletions