GitHub PushEvent at 2014-11-22 21:45:50
Repository: gtksourceview
Actor: gnomesysadmins
Payload: {"shas":[["896f6ba8c48c255aa66a2e6c5de15143009f532c","dfb6c900b3a9ebc3660960bceadcd4e4a1bacf35@gnome.org","docs: note about the default undo/redo implementation","Sébastien Wilmet",true],["2518877e880310e7ec930bce3e30e38ecdbdbb85","dfb6c900b3a9ebc3660960bceadcd4e4a1bacf35@gnome.org","docs: improve gtk_source_view_* functions doc\n\nMove tab_width above indent_width. The tab width is a more \"familiar\"\nthing and easier to understand than the indent width.","Sébastien Wilmet",true]],"size":2,"ref":"refs/heads/master","head":"2518877e880310e7ec930bce3e30e38ecdbdbb85"}