diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 22:32:53 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 22:32:53 +0200 |
| commit | 52cf1e933909f34bf43531810040cdb345b79138 (patch) | |
| tree | ecfc2bfab3e08c656dc725199055aa69a317d25d /rules/rules.tex | |
| parent | 947ea218c54cd12f64320f6207fc8da83f7a8c43 (diff) | |
Set Example module as ghci default
Diffstat (limited to 'rules/rules.tex')
0 files changed, 0 insertions, 0 deletions