[klee-dev] "search" text box in this page does not work

[Andrea Mattavelli]

Please use this website: http://mailman.ic.ac.uk/pipermail/klee-dev/

Andrea

> On 19 Mar 2016, at 09:15, Sumit Kumar <sumit686215 at gmail.com> wrote:
> 
> "search" text box in this page does not work:
> 
> http://klee-dev.keeda.stanford.narkive.com/ <http://klee-dev.keeda.stanford.narkive.com/>
> 
> I request anyone capable to fix it.
> 
> Without this search functionality working I don't know how to find relevant posts. Scrolling down and looking at each of them is very tedious. If there is some other way please tell me. 
> 
> --
> Thanks and Regards
> Sumit
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed