comparison frontends/src/jp/cmd_pipe.py @ 2548:54b3853b55c0

plugin uri finder: plugin to find URIs in well-known locations
author Goffi <goffi@goffi.org>
date Sat, 31 Mar 2018 17:20:14 +0200
parents e2a7bb875957
children
comparison
equal deleted inserted replaced
2547:2d69a0afe039 2548:54b3853b55c0