File:Colored ghci prompt.png
No higher resolution available.
Colored_ghci_prompt.png (296 × 43 pixels, file size: 6 KB, MIME type: image/png)
GHCi prompt colored using ANSI terminal codes
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 12:25, 6 December 2012 | | 296 × 43 (6 KB) | Blackout (talk | contribs) | GHCi prompt colored using ANSI terminal codes |
You cannot overwrite this file.
File usage
The following page uses this file:
