author | nemo |
Mon, 14 Jan 2019 12:34:47 -0500 | |
branch | 0.9.25 |
changeset 14590 | 8736f3a0ff7f |
parent 11813 | ffe6e1344ebd |
permissions | -rw-r--r-- |
11813
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) |