diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-10-12 21:16:37 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-10-12 21:16:37 +0200 |
| commit | c95d2cec7d988b762bfafaa2bec940936635c373 (patch) | |
| tree | 564b0a19c469f27f378f142b407525668fdb0353 /profiles/dev-avr/parent | |
| parent | 9ba38169d0f7da7c9362040c997a2ff8a140417a (diff) | |
| download | gentoo-personal-overlay-c95d2cec7d988b762bfafaa2bec940936635c373.tar.gz gentoo-personal-overlay-c95d2cec7d988b762bfafaa2bec940936635c373.tar.bz2 gentoo-personal-overlay-c95d2cec7d988b762bfafaa2bec940936635c373.zip | |
Drop cross-avr from profiles too
Diffstat (limited to 'profiles/dev-avr/parent')
| -rw-r--r-- | profiles/dev-avr/parent | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/dev-avr/parent b/profiles/dev-avr/parent deleted file mode 100644 index cd3828d..0000000 --- a/profiles/dev-avr/parent +++ /dev/null @@ -1 +0,0 @@ -../devel |