From 0e8205bf1bf37bf685c52d0466e85ee025198f0c Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Fri, 5 Jan 2024 08:22:27 +0700 Subject: Rename docs GIF to PNG The files are still GIFs for now. In the next steps after the rename, they will be replaced by real PNGs. Background: The Asciidoctor PDF back-end cannot handle GIFs directly without an additional Ruby Gem. It is easier to only use PNGs and JPEGs. Signed-off-by: Alexander Kriegisch --- docs/teaching/exercises/figures_classes.gif | Bin 18540 -> 0 bytes docs/teaching/exercises/figures_classes.png | Bin 0 -> 18540 bytes 2 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 docs/teaching/exercises/figures_classes.gif create mode 100644 docs/teaching/exercises/figures_classes.png (limited to 'docs/teaching/exercises') diff --git a/docs/teaching/exercises/figures_classes.gif b/docs/teaching/exercises/figures_classes.gif deleted file mode 100644 index 3440bbff8..000000000 Binary files a/docs/teaching/exercises/figures_classes.gif and /dev/null differ diff --git a/docs/teaching/exercises/figures_classes.png b/docs/teaching/exercises/figures_classes.png new file mode 100644 index 000000000..3440bbff8 Binary files /dev/null and b/docs/teaching/exercises/figures_classes.png differ -- cgit v1.2.3