From 339c970192eb348be026edeaa4217c903fb42191 Mon Sep 17 00:00:00 2001 From: Enrico Faulhaber Date: Tue, 29 Oct 2019 17:02:18 +0100 Subject: [PATCH] move ppms.cfg to right place Change-Id: I7a771c7615ac5c45923253367dcf789807bec50a Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/21481 Tested-by: JenkinsCodeReview Reviewed-by: Enrico Faulhaber --- {etc => cfg}/ppms.cfg | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {etc => cfg}/ppms.cfg (100%) diff --git a/etc/ppms.cfg b/cfg/ppms.cfg similarity index 100% rename from etc/ppms.cfg rename to cfg/ppms.cfg