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/external_tool_run.png | Bin 0 -> 180110 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/img/external_tool_run.png (limited to 'docs/img/external_tool_run.png') 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 -- cgit