Update docs/src/configuration.md

Co-authored-by: Simon Byrne <[email protected]>
JuliaParallel · Jul 13, 2023 · cef0d0f · cef0d0f
1 parent d06178a
commit cef0d0f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/src/configuration.md b/docs/src/configuration.md
@@ -129,6 +129,8 @@ The function of these settings are as follows:
    recorded mainly for debugging purposes, and the libraries listed here are not
    explicitly loaded by `MPI.jl`.
 
+If these are set, the `_format` key will be set to `"1.1"`.
+
 An example of running `MPIPreferences.use_system_library(vendor="cray")` in
 `PrgEnv-gnu` is: