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 /compton/compton.conf | |
parent | d8fa30ff9a9826340babb9c1392ce9ec1d125aea (diff) | |
download | dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.tar.gz dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.zip |
Set up coq properly
Diffstat (limited to 'compton/compton.conf')
0 files changed, 0 insertions, 0 deletions