diff --git a/user-doc/tutorials/a-master-ISDD-1.txt b/user-doc/tutorials/a-master-ISDD-1.txt index b4d3b0a41b..b66e0e1eeb 100644 --- a/user-doc/tutorials/a-master-ISDD-1.txt +++ b/user-doc/tutorials/a-master-ISDD-1.txt @@ -24,30 +24,16 @@ In this and in the next tutorial, we will use two pieces of software: