diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:50:00 +0100 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:12 +0100 |
| commit | 8ee4c3698c573e76cdb6617356ef21a3013a18ae (patch) | |
| tree | 231ebe476bafb2168ce16bcc4bd6550745a826bf /doc/languages-frameworks/index.xml | |
| parent | 43fb96efe89c2215a58b576ee70e8b8ca0413897 (diff) | |
| download | nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar.gz nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar.bz2 nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar.lz nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar.xz nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.tar.zst nixpkgs-8ee4c3698c573e76cdb6617356ef21a3013a18ae.zip | |
Agda: Add turion as maintainer
Diffstat (limited to 'doc/languages-frameworks/index.xml')
0 files changed, 0 insertions, 0 deletions