File:GHCi 256color.jpg
Jump to navigation
Jump to search
No higher resolution available.
GHCi_256color.jpg (776 × 541 pixels, file size: 68 KB, MIME type: image/jpeg)
GHCi colored using some .ghci and sed hackery.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 13:49, 29 March 2012 | | 776 × 541 (68 KB) | Db81 (talk | contribs) | GHCi colored using some .ghci and sed hackery. |
You cannot overwrite this file.
File usage
The following page uses this file:
