5 commits

Author	SHA1	Message	Date
Tu H Do	8a839f4e81	Replace git-gutter with diff-hl ... Since both offer the same functionality, but except for staging hunk but it works only with Git anyway. diff-hl has the advantage that it is usable with left/right fringes and margin in a single package. Also it does not have the bugs that git-gutter is having.	2015-06-09 20:39:14 -04:00
syl20bnr	eaba99a603	Rename ipython layer to ipython-notebook and move it to !lang	2015-06-07 23:36:39 -04:00
syl20bnr	d819cf45da	ipython layer: minor changes, reformat micro-state doc	2015-06-07 23:33:33 -04:00
Diego Berrocal	1b0b7371a5	ipython layer ... You asked for it :) This is very trivial still ;_;	2015-06-07 23:19:03 -04:00
Tristan Hume	eecb250a55	Prefix categories with !	2015-05-25 00:50:38 -04:00