diff extensions/local_replace.py @ 560:0d0e7ce385e7 default tip

Make the CLA check case-insensitive, and use stringFind() instead of filter().
author Ezio Melotti <ezio.melotti@gmail.com>
date Tue, 11 Sep 2018 18:31:06 -0700
parents 7d4942e1ce43
children
line wrap: on
line diff