Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | color.gif | 2248 | logstatsplain |
-rwxr-xr-x | fillscreen.gif | 4276 | logstatsplain |
-rwxr-xr-x | pendown.gif | 2704 | logstatsplain |
-rwxr-xr-x | pengroup.gif | 18827 | logstatsplain |
-rwxr-xr-x | penmask.gif | 1964 | logstatsplain |
-rwxr-xr-x | pensize.gif | 2266 | logstatsplain |
-rwxr-xr-x | penup.gif | 2697 | logstatsplain |
-rwxr-xr-x | setcolor.gif | 3217 | logstatsplain |
-rwxr-xr-x | setpensize.gif | 3246 | logstatsplain |
-rwxr-xr-x | setshade.gif | 3157 | logstatsplain |
-rwxr-xr-x | shade.gif | 2280 | logstatsplain |