diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2022-08-15 13:06:51 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-08-15 13:07:25 +0000 |
| commit | a04537df062a4149d0a518c1d68e54f7757f1020 (patch) | |
| tree | f00398bca457595f5ec1fd0fd8831da76343f1cd /japanese | |
| parent | 1418764bb1bf0f0bca3f1c734a9655a49009b68c (diff) | |
| download | ports-a04537df062a4149d0a518c1d68e54f7757f1020.tar.gz ports-a04537df062a4149d0a518c1d68e54f7757f1020.zip | |
math/hs-Agda: Unbreak and enable compiling emacs mode files.
Diffstat (limited to 'japanese')
0 files changed, 0 insertions, 0 deletions