Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | color.gif | 2163 | logstatsplain |
-rwxr-xr-x | fillscreen.gif | 4309 | logstatsplain |
-rwxr-xr-x | pendown.gif | 2529 | logstatsplain |
-rwxr-xr-x | pengroup.gif | 18808 | logstatsplain |
-rwxr-xr-x | penmask.gif | 1948 | logstatsplain |
-rwxr-xr-x | pensize.gif | 2247 | logstatsplain |
-rwxr-xr-x | penup.gif | 2514 | logstatsplain |
-rwxr-xr-x | setbg.gif | 3042 | logstatsplain |
-rwxr-xr-x | setcolor.gif | 3110 | logstatsplain |
-rwxr-xr-x | setpensize.gif | 3213 | logstatsplain |
-rwxr-xr-x | setshade.gif | 3165 | logstatsplain |
-rwxr-xr-x | shade.gif | 2174 | logstatsplain |