docs: Document MPI.MPI_ABI_VERSION

eschnett · eschnett · commit 3a3eaba5284e · 2025-12-19T19:14:22.000-05:00
diff --git a/docs/src/reference/library.md b/docs/src/reference/library.md
@@ -4,6 +4,7 @@
 
 ```@docs
 MPI.MPI_VERSION
+MPI.MPI_ABI_VERSION
 MPI.MPI_LIBRARY
 MPI.MPI_LIBRARY_VERSION
 MPI.MPI_LIBRARY_VERSION_STRING
