[coreboot-gerrit] Change in coreboot[master]: Documentation: Remove old Documentation directory

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/23068 )

Change subject: Documentation: Remove old Documentation directory
......................................................................


Patch Set 1: Verified+1

Build Successful 

https://qa.coreboot.org/job/coreboot-checkpatch/19933/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/65193/ : SUCCESS


-- 
To view, visit https://review.coreboot.org/23068
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ia4788d48b673af959e5f6804706d3c1dcf91d252
Gerrit-Change-Number: 23068
Gerrit-PatchSet: 1
Gerrit-Owner: Philipp Deppenwiese <zaolin.daisuki at gmail.com>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-Comment-Date: Wed, 03 Jan 2018 00:38:02 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180103/4d5583b6/attachment.html>