From a8f7f34498697b5a14df9b5609c5ae9414b0128a Mon Sep 17 00:00:00 2001 From: Dierk Koenig Date: Mon, 29 Jun 2020 17:09:08 +0200 Subject: update images for the frege wiki page --- docs/img/external_tool_frepl.png | Bin 198719 -> 617820 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'docs/img') diff --git a/docs/img/external_tool_frepl.png b/docs/img/external_tool_frepl.png index 424a323..3873970 100644 Binary files a/docs/img/external_tool_frepl.png and b/docs/img/external_tool_frepl.png differ -- cgit