diff options
| author | davidovski <david@davidovski.xyz> | 2022-03-10 23:01:07 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-03-10 23:01:07 +0000 |
| commit | 2bda0d54b37dd3ebf7917c3a58c0404d21afe7f6 (patch) | |
| tree | 36a97971d0f9c6151f36b333383bb985289f23e3 /repo/system/mpfr | |
| parent | 08c8891c20131576640f30cc40fcdbc57a497957 (diff) | |
shell will now default to dash asap
Diffstat (limited to 'repo/system/mpfr')
0 files changed, 0 insertions, 0 deletions