diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-09 14:41:45 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-09 14:41:45 +0100 |
| commit | f40a84857bb2e02b5dab696743b0557f891c08ab (patch) | |
| tree | 6100a5a21e266af139ade86f89bf110df119eac4 /install.sh | |
| parent | 5da52ab9a86179163b79ed2f335a3a7bfc4bb18b (diff) | |
| download | dotfiles-f40a84857bb2e02b5dab696743b0557f891c08ab.tar.gz dotfiles-f40a84857bb2e02b5dab696743b0557f891c08ab.zip | |
Add opam configuration
Diffstat (limited to 'install.sh')
0 files changed, 0 insertions, 0 deletions