diff options
author | Carlos Camacho <ccamacho@redhat.com> | 2017-06-19 15:29:28 +0200 |
---|---|---|
committer | Carlos Camacho <ccamacho@redhat.com> | 2017-06-19 19:08:03 +0200 |
commit | 38ac9318c4d35f76cc6a7d06132efc3c2906ea12 (patch) | |
tree | 2e7cf32cff4218bec42088a1efce7e9f15155467 /.gitreview | |
parent | 76b0074c76c067de6e722b7e2a6410ecfcb45fb7 (diff) |
Remove manifest/profile/baseui.pp
This file is not needed anymore.
Change-Id: I904443624c18cc5116bc6027c016b9ccdd5e10aa
Closes-bug: 1698105
Depends-On: Ie20ecabea91ca4c2040c5ef3bf6c71b2b53d26ef
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions