diff options
Diffstat (limited to 'documentation/adt-manual/figures')
| -rw-r--r-- | documentation/adt-manual/figures/adt-title.png | bin | 0 -> 14349 bytes |
| -rw-r--r-- | documentation/adt-manual/figures/kernel-title.png | bin | 14305 -> 0 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/documentation/adt-manual/figures/adt-title.png b/documentation/adt-manual/figures/adt-title.png new file mode 100644 index 0000000000..fe6ed26dc4 --- /dev/null +++ b/documentation/adt-manual/figures/adt-title.png | |||
| Binary files differ | |||
diff --git a/documentation/adt-manual/figures/kernel-title.png b/documentation/adt-manual/figures/kernel-title.png deleted file mode 100644 index 965264ccc5..0000000000 --- a/documentation/adt-manual/figures/kernel-title.png +++ /dev/null | |||
| Binary files differ | |||
