diff options
| -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 Binary files differnew file mode 100644 index 000000000..fe6ed26dc --- /dev/null +++ b/documentation/adt-manual/figures/adt-title.png diff --git a/documentation/adt-manual/figures/kernel-title.png b/documentation/adt-manual/figures/kernel-title.png Binary files differdeleted file mode 100644 index 965264ccc..000000000 --- a/documentation/adt-manual/figures/kernel-title.png +++ /dev/null |
