3 ms·Didn’t Pico used to be a shell grep like search? Or was that another project?by mountainriver 2y agoDidn’t Pico used to be a shell grep like search? Or was that another project?epscylonb 2y agoAnd a minimal CSS framework.codazoda 2y agoI thought it was a Windows SSH / terminal tool. I’m probably remembering wrong. Edit: Found it already. I was definitely thinking of Putty.