diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2023-02-07 16:08:13 +0000 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2023-02-07 16:08:13 +0000 |
| commit | 9534c490c5c318e6c29ebf881ac5350545f479e5 (patch) | |
| tree | a1d3e04db1fbeae883502668e1444763c2a28a69 /.gitignore | |
| parent | 54d3f5a32758eb92606338d28a13652bcf51375c (diff) | |
| download | space-plat-hs-9534c490c5c318e6c29ebf881ac5350545f479e5.tar.gz space-plat-hs-9534c490c5c318e6c29ebf881ac5350545f479e5.zip | |
Using OverloadedRecordDot
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions