add opam settings.
1 parent 27692f3 commit 7cb1729728e12e24f2d650507b3c30191e2a73b3
@aoi1049 aoi1049 authored on 10 Aug 2019
Showing 1 changed file
View
opam-user-setup.el 0 → 100644