From e8d792a2b110ba8cbd9306be3050f2b0221d4138 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonia=20P=C3=A9rez-Cerezo?= Date: Mon, 22 Apr 2024 16:51:51 +0200 Subject: [PATCH] Add Gnu Parallel as requirement --- scripts/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/README.md b/scripts/README.md index 8970b42..9bf1099 100644 --- a/scripts/README.md +++ b/scripts/README.md @@ -8,6 +8,7 @@ minimal ones, remove duplicates, and then export them, sorted by PL-type. - Polymake - PostgreSQL +- GNU Parallel ### How to use: