fix warnings

2023-07-31 16:17:40 +02:00
parent a4aefe33d3
commit 97b59e0a6f
2 changed files with 1 additions and 0 deletions
@@ -17,6 +17,7 @@ chapters:
      - file: user-guide/ssh_client_config
      - file: user-guide/firefox_profile_per_host
      - file: user-guide/kerberos_lifetime
+      - file: user-guide/mpirun
      - file: user-guide/putty

  - file: admin-guide/index