You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+4-4Lines changed: 4 additions & 4 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -66,8 +66,8 @@ of the different matchers that we evaluated.
66
66
67
67
## Requirements and Installation
68
68
69
-
___This is a quickstart guide. For a detailed step-by-step guide and instructions for other OS, please refer to [REQUIREMENTS.md](REQUIREMENTS.md) and
70
-
[INSTALL.md](INSTALL.md).___
69
+
___This is a quickstart guide. For a detailed step-by-step guide please refer to [REQUIREMENTS.md](REQUIREMENTS.md) and
70
+
[INSTALL.md](INSTALL.md). There you can also find the specific Docker commands that are executed by the scripts below.___
71
71
72
72
### Setup Instructions
73
73
* Install [Docker](https://docs.docker.com/get-docker/) on your system and start the [Docker Daemon](https://docs.docker.com/config/daemon/).
@@ -92,8 +92,8 @@ ___This is a quickstart guide. For a detailed step-by-step guide and instruction
92
92
93
93
## Running the Experiments Using Docker
94
94
95
-
___This is a quickstart guide. For a detailed step-by-step guide, Docker calls for other OS, and instructions for
96
-
running the experiments without Docker please refer to [EXPERIMENTS.md](EXPERIMENTS.md).___
95
+
___This is a quickstart guide. For a detailed step-by-step guide and instructions for
96
+
running the experiments without Docker please refer to [EXPERIMENTS.md](EXPERIMENTS.md). There you can also find the specific Docker commands that are executed by the scripts below.___
0 commit comments