Differences

This shows you the differences between two versions of the page.

--- dune_configuration [2019/10/16 12:22] – nikolal
+++ dune_configuration [2022/09/19 11:34] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== DUNE configuration ======
-DUNE is compiled as one executable file, but to actually use it, you have to make a ''%%.ini%%'' configuration file. This file says what tasks are to be run, and what parameters those task should use. The Otter is configured to run these tasks:
+DUNE is compiled as one executable file, but to actually use it, you have to make a ''%%.ini%%'' configuration file. This file says what tasks are to be run, and what parameters those tasks should use. The Otter is configured to run these tasks:
 {{ :dune_setup.png?600 |}}