[petsc-dev] Rig the search icon in petsc.org to also search the PETSc users archives (and other stuff?)

[Barry Smith]

  Can we rig the search icon in petsc.org <http://petsc.org/> to also search the PETSc archives? This way we can recommend users search in petsc.org <http://petsc.org/> instead of using the google and getting outdated information.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20230219/8f1856ec/attachment.html>