Re: [ET Trac] [Einstein Toolkit] #2161: make ET mailing lists searchable

#2161: make ET mailing lists searchable -----------------------------+--------------------------------- Reporter: Roland Haas | Owner: (none) Type: enhancement | Status: review Priority: minor | Milestone: Component: Cactus website | Version: development version Resolution: | Keywords: -----------------------------+--------------------------------- Changes (by Roland Haas):

* status: new => review

Comment:

I have added such a search button (though one can leave out the actual "Search" button if desired) to https://www.einsteintoolkit.org/support.html

Please have a look and comment.