Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | color.gif | 2123 | logstatsplain |
-rwxr-xr-x | fillscreen.gif | 4343 | logstatsplain |
-rwxr-xr-x | pendown.gif | 2488 | logstatsplain |
-rwxr-xr-x | pengroup.gif | 19188 | logstatsplain |
-rwxr-xr-x | penmask.gif | 1964 | logstatsplain |
-rwxr-xr-x | pensize.gif | 2241 | logstatsplain |
-rwxr-xr-x | penup.gif | 2498 | logstatsplain |
-rwxr-xr-x | setbg.gif | 3042 | logstatsplain |
-rwxr-xr-x | setcolor.gif | 3183 | logstatsplain |
-rwxr-xr-x | setpensize.gif | 3379 | logstatsplain |
-rwxr-xr-x | setshade.gif | 3163 | logstatsplain |
-rwxr-xr-x | shade.gif | 2112 | logstatsplain |