QTfrontend/res/botlevels/small4.png
author marmistrz
Sun, 24 Jun 2018 12:09:31 -0400
changeset 13421 d1368c776a4f
parent 11808 ffe6e1344ebd
permissions -rw-r--r--
Enable all lints from the rust-2018-idioms suite. Additionally, fix the violation of the bare-trait-objects lint.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11808
ffe6e1344ebd Team editor: Make bot icons and graves more visible in closed drop-down lists, smaller botlevel images
Wuzzy <almikes@aol.com>
parents:
diff changeset
     1
(binary:image/png)