diff options
| author | Michal <m.i@gmx.at> | 2021-10-20 15:38:05 +0200 |
|---|---|---|
| committer | Michal <m.i@gmx.at> | 2021-10-20 15:38:05 +0200 |
| commit | d4fe9f4aa7b249dfe62b4204b661391e87c9eca8 (patch) | |
| tree | a867c0580ea235dfe6cacadf275beba2d13f2be5 /zsh/zshrc | |
| parent | fbb55d5e3b9f1d4be3fec53be7274d85f37337c9 (diff) | |
add agda
Diffstat (limited to 'zsh/zshrc')
0 files changed, 0 insertions, 0 deletions