diff options
Diffstat (limited to 'doc/manual_src/images')
-rw-r--r-- | doc/manual_src/images/code-tag.png | bin | 1354 -> 0 bytes |
-rw-r--r-- | doc/manual_src/images/images/Galois_design_03.png | bin | 999 -> 0 bytes |
-rw-r--r-- | doc/manual_src/images/logo.png | bin | 3096 -> 0 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/doc/manual_src/images/code-tag.png b/doc/manual_src/images/code-tag.png Binary files differdeleted file mode 100644 index 6497ed2..0000000 --- a/doc/manual_src/images/code-tag.png +++ /dev/null diff --git a/doc/manual_src/images/images/Galois_design_03.png b/doc/manual_src/images/images/Galois_design_03.png Binary files differdeleted file mode 100644 index c7fc299..0000000 --- a/doc/manual_src/images/images/Galois_design_03.png +++ /dev/null diff --git a/doc/manual_src/images/logo.png b/doc/manual_src/images/logo.png Binary files differdeleted file mode 100644 index 151d3f0..0000000 --- a/doc/manual_src/images/logo.png +++ /dev/null |