diff options
| author | johngowers | 2020-04-26 11:40:53 +0100 |
|---|---|---|
| committer | johngowers | 2020-04-26 11:40:53 +0100 |
| commit | f96fadefde5f27eed92d257eda7c2244e3759f1e (patch) | |
| tree | 03a870a8ca4f4427dd54f9b0598f9c8826c99f4a | |
| parent | 6ad0a38d0aed54b430c3f17a3a2a1cc17520da89 (diff) | |
| parent | 76a5586a3d457b4a4af845c3bf2e1df9abd49438 (diff) | |
| download | aur-f96fadefde5f27eed92d257eda7c2244e3759f1e.tar.gz | |
Merge branch 'master' of ssh://aur.archlinux.org/agda-git
Merge master into branch for updated commit message.
0 files changed, 0 insertions, 0 deletions