search

101companies / 101wiki

We are moving gradually 101wiki-related efforts to here (from 101dev or wherever).
0 stars 1 forks source link

search string not to be deleted after "press enter" #382

Closed rlaemmel closed 10 years ago

rlaemmel commented 10 years ago

cc @arkadi-schmidt

... so that it can be massaged in a subsequent search