diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/img/FileTypes.png | bin | 110654 -> 0 bytes |
| -rw-r--r-- | docs/img/Frege_Gradle_Tasks.png | bin | 32919 -> 0 bytes |
| -rw-r--r-- | docs/img/external_tool_frepl.png | bin | 617820 -> 0 bytes |
| -rw-r--r-- | docs/img/external_tool_run.png | bin | 180110 -> 0 bytes |
| -rw-r--r-- | docs/img/external_tool_test.png | bin | 195869 -> 0 bytes |
| -rw-r--r-- | docs/img/watcher_fregeCompile.png | bin | 219827 -> 0 bytes |
6 files changed, 0 insertions, 0 deletions
diff --git a/docs/img/FileTypes.png b/docs/img/FileTypes.png Binary files differdeleted file mode 100644 index d50073d..0000000 --- a/docs/img/FileTypes.png +++ /dev/null diff --git a/docs/img/Frege_Gradle_Tasks.png b/docs/img/Frege_Gradle_Tasks.png Binary files differdeleted file mode 100644 index 07c5968..0000000 --- a/docs/img/Frege_Gradle_Tasks.png +++ /dev/null diff --git a/docs/img/external_tool_frepl.png b/docs/img/external_tool_frepl.png Binary files differdeleted file mode 100644 index 3873970..0000000 --- a/docs/img/external_tool_frepl.png +++ /dev/null diff --git a/docs/img/external_tool_run.png b/docs/img/external_tool_run.png Binary files differdeleted file mode 100644 index 496f4bc..0000000 --- a/docs/img/external_tool_run.png +++ /dev/null diff --git a/docs/img/external_tool_test.png b/docs/img/external_tool_test.png Binary files differdeleted file mode 100644 index a44f4ac..0000000 --- a/docs/img/external_tool_test.png +++ /dev/null diff --git a/docs/img/watcher_fregeCompile.png b/docs/img/watcher_fregeCompile.png Binary files differdeleted file mode 100644 index b3b10b0..0000000 --- a/docs/img/watcher_fregeCompile.png +++ /dev/null |
