diff options
| author | Aymen Dirar | 2022-10-23 23:01:40 +0000 |
|---|---|---|
| committer | Aymen Dirar | 2022-10-23 23:01:40 +0000 |
| commit | bbde9e43c3503e6d4ae2e180a6ac01305744ae68 (patch) | |
| tree | 4afada722da33af9e64f67bdb762d347ee85dc06 /entries/ionchy/agda | |
| parent | a7d8da6952af7f5f5e33fb8c54e9a0ffb15de47b (diff) | |
rename to `.s`
Diffstat (limited to 'entries/ionchy/agda')
0 files changed, 0 insertions, 0 deletions