Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | log.gif | 1014 | logplain |
-rw-r--r-- | new.gif | 581 | logplain |
-rw-r--r-- | open.gif | 1015 | logplain |
-rw-r--r-- | run-once.gif | 189 | logplain |
-rw-r--r-- | run-timed.gif | 567 | logplain |
-rw-r--r-- | save.gif | 621 | logplain |
-rw-r--r-- | saveas.gif | 603 | logplain |
-rw-r--r-- | stop-timed.gif | 197 | logplain |