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: