From d4515f03f0bbe54e1bef148b601bf0ce0e0505ed Mon Sep 17 00:00:00 2001 From: Dierk Koenig Date: Sun, 28 Jun 2020 15:46:09 +0200 Subject: add images for the frege wiki page --- docs/img/FileTypes.png | Bin 0 -> 110654 bytes docs/img/external_tool_frepl.png | Bin 0 -> 198719 bytes docs/img/external_tool_run.png | Bin 0 -> 180110 bytes docs/img/external_tool_test.png | Bin 0 -> 195869 bytes docs/img/watcher_fregeCompile.png | Bin 0 -> 219827 bytes 5 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/img/FileTypes.png create mode 100644 docs/img/external_tool_frepl.png create mode 100644 docs/img/external_tool_run.png create mode 100644 docs/img/external_tool_test.png create mode 100644 docs/img/watcher_fregeCompile.png (limited to 'docs') diff --git a/docs/img/FileTypes.png b/docs/img/FileTypes.png new file mode 100644 index 0000000..d50073d Binary files /dev/null and b/docs/img/FileTypes.png differ diff --git a/docs/img/external_tool_frepl.png b/docs/img/external_tool_frepl.png new file mode 100644 index 0000000..424a323 Binary files /dev/null and b/docs/img/external_tool_frepl.png differ diff --git a/docs/img/external_tool_run.png b/docs/img/external_tool_run.png new file mode 100644 index 0000000..496f4bc Binary files /dev/null and b/docs/img/external_tool_run.png differ diff --git a/docs/img/external_tool_test.png b/docs/img/external_tool_test.png new file mode 100644 index 0000000..a44f4ac Binary files /dev/null and b/docs/img/external_tool_test.png differ diff --git a/docs/img/watcher_fregeCompile.png b/docs/img/watcher_fregeCompile.png new file mode 100644 index 0000000..b3b10b0 Binary files /dev/null and b/docs/img/watcher_fregeCompile.png differ -- cgit