diff options
| author | Karel Kočí <cynerd@email.cz> | 2017-05-06 16:22:25 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2017-05-06 16:22:25 +0200 |
| commit | 0e71f8693dde9656b4dc106f8df062c803292591 (patch) | |
| tree | 7a1b546365b8d890b44723e92f956b559f7d6f0f /virtual/linux-sources | |
| parent | 9a3403bb5db0d2a0cadbb4833e4be50e1d87ef18 (diff) | |
| download | gentoo-personal-overlay-0e71f8693dde9656b4dc106f8df062c803292591.tar.gz gentoo-personal-overlay-0e71f8693dde9656b4dc106f8df062c803292591.tar.bz2 gentoo-personal-overlay-0e71f8693dde9656b4dc106f8df062c803292591.zip | |
Revert "Reenable ghdl"
This reverts commit ef9ed41b9b75e8fcb714e6f5a59a0cb662080c71.
Diffstat (limited to 'virtual/linux-sources')
0 files changed, 0 insertions, 0 deletions