diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-11-19 17:18:33 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-20 19:15:10 +0000 |
| commit | 6059c9d133554488339f3772527752bfa789500f (patch) | |
| tree | 71aab4cd9dea62cca85f3b9683569dc9fcd793e2 /Documentation/Makefile.sphinx | |
| parent | ffcac3eb502bbe0acbb30d6fe804f00e07461a7a (diff) | |
Documentation/releases: Drop reference to piratenpad
Piratenpad is dead.
Change-Id: Id9cfb68f6c6e05d1af2a526c817713a92220d370
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36958
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/Makefile.sphinx')
0 files changed, 0 insertions, 0 deletions