Commit graph

14 commits

Author SHA1 Message Date
Martin Potier
34ebec0853 Adding vim configuration 2016-03-25 12:09:01 +01:00
Martin Potier
4ee50e641e Adding synctex 2016-03-25 12:08:17 +01:00
Martin Potier
377e65271a Install scripts 2016-03-21 15:41:45 +01:00
Martin Potier
7c7d99d593 Make VPN wrok on my two machines 2016-03-21 15:41:20 +01:00
Martin Potier
9190af7515 Adding tuareg in emacs 2016-03-19 22:59:30 +01:00
Martin Potier
1f176dd805 mv is more flexible than ln 2016-03-19 22:57:36 +01:00
eeva
d4d3289216 Use only ln, display error messages in stderr 2016-03-19 18:43:01 +01:00
eeva
3f8dc335a0 Useful scripts 2016-03-18 17:59:50 +01:00
eeva
cdcb99614b Smaller font and better fci color 2016-03-18 17:58:45 +01:00
eeva
d5c6e37a10 Changing warning message 2016-03-18 17:57:58 +01:00
Martin Potier
3069437cc2 Small coverage tool (percent of saved config) 2016-03-16 15:59:01 +01:00
Martin Potier
c0159583eb Adding Readme 2016-03-16 15:15:20 +01:00
Martin Potier
402f19c1f3 Spacemacs configuration 2016-03-16 15:12:04 +01:00
Martin Potier
7ebd75a47e Configure script leveraging stow 2016-03-16 15:11:51 +01:00