[emacs] assimilate Proof General (for Coq)
[~bandali/configs] / other / xorg /
2015-03-06 Amin Bandaliadd intel xorg conf (enables TearFree)