Commit Graph

1 Commits

Author SHA1 Message Date
Brian Clozel
096dcd36cf Fix online search in reference documentation
Fixes gh-1013
2024-06-18 19:13:28 +02:00