summaryrefslogtreecommitdiff
path: root/.isabelle/etc (unfollow)
Commit message (Expand)AuthorFilesLines
2013-05-31better kill keys in i3René Neumann1-1/+2
2013-05-31More i3 stuffRené Neumann1-2/+9
2013-05-31Fan iconsRené Neumann2-0/+11
2013-05-31Drop gtkrc from gitRené Neumann1-7/+0
2013-05-31Some i3 / conky changesRené Neumann3-31/+55
2013-05-30i3 vim syntax highlightingRené 'Necoro' Neumann1-0/+3
2013-05-30I3 ConfigRené 'Necoro' Neumann24-0/+398
2013-05-16Move GIT_DIR to --git-dirRené Neumann1-1/+1
2013-04-29Fix some rendering issues with @font-face loaded fontsRené 'Necoro' Neumann1-0/+36
2013-04-23Enhance colors of Mustang schemeRené 'Necoro' Neumann1-3/+3
2013-04-16Overhaul vimperatorrcRené Neumann1-4/+12
2013-04-12Delete XML syntax file.René 'Necoro' Neumann1-344/+0
2013-04-12Jinja syntax file.René 'Necoro' Neumann2-0/+136
2013-04-12Add unimpaired vim plugin.René 'Necoro' Neumann1-0/+3
2013-04-12'git s -uno' aliasRené Neumann1-0/+1
2013-04-06Update vundleRené 'Necoro' Neumann1-0/+0
2013-04-06Ignore /dev/zero stuff in check_libsRené 'Necoro' Neumann1-1/+1
2013-02-01♥René Neumann1-0/+1
2013-02-01XComposeRené Neumann2-7/+2265