diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-12-10 20:27:38 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-12-12 08:18:49 +0000 |
| commit | a73317e5cff3d104d567c341b114d242e0c0e5c0 (patch) | |
| tree | 7366781ce486cdd1a740c9590419bbe40c11b1cf /src | |
| parent | 5ee82832503ab46affbc5f12ce1088046e8ae28c (diff) | |
Documentation: enable ditaa integration
For prettier diagrams: http://ditaa.sourceforge.net/
Change-Id: Ic28dc5ea9d82ff6bf8654e2e33e675a536348654
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37646
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions