annotate src/tools/__init__.py @ 2473:447c3de6b9e5

plugin merge-requests: fixed "set" method
author Goffi <goffi@goffi.org>
date Sat, 13 Jan 2018 10:12:15 +0100
parents 9c6ee3f9ab29
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source