diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-14 21:25:44 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-14 21:25:44 +0000 |
| commit | 6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4 (patch) | |
| tree | 73b40ce5cbdd69d0a1bf1ff0500ffe02ff476ce2 /sxhkd | |
| parent | d8fa30ff9a9826340babb9c1392ce9ec1d125aea (diff) | |
| download | dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.tar.gz dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.zip | |
Set up coq properly
Diffstat (limited to 'sxhkd')
0 files changed, 0 insertions, 0 deletions