diff options
| author |  Fabian Kirchner <kirchner@posteo.de> | 2023-10-13 20:32:44 +0200 |
|---|---|---|
| committer | Fabian Kirchner <kirchner@posteo.de> | 2023-10-13 20:32:44 +0200 |
| commit | c0ba5044d9f36ad91d0ef8a11a5cb5adabcea33f (patch) | |
| tree | dbe37cbd021bb5115c5c8a90823941bbc6c86f2c /.ghci | |
| parent | 7fcaeb29bfb87c82468df2ec1cea1c70f96aedff (diff) | |
make width of output configurable
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions