diff options
| author |  jesopo | 2018-11-14 10:27:15 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-14 10:27:15 +0000 |
| commit | ca965e20cc2cbb4a897d1c708d3553fdc8d4b765 (patch) | |
| tree | 6d4c8abc2b5f39f8c92792dff2d1f0f7a7027f64 /src/utils/irc.py | |
| parent | Do a bold+unbold *after* the colored parts of github's "added/removed/modified" (diff) | |
| signature | ||
`bool_input` moved to utils.cli
Diffstat (limited to 'src/utils/irc.py')
0 files changed, 0 insertions, 0 deletions