Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Commits on May 14, 2014
  1. Use autocutsel

    authored
Commits on Feb 18, 2014
  1. [bashrc] Update Nick's rlp script

    authored
  2. [vim] Add vim-gf

    authored
Commits on Oct 17, 2013
  1. [scripts] Add Unigen script

    authored
  2. [gunka-advantage] Use eno1

    authored
  3. [keymaps/unicodes] Add «»

    authored
Commits on Sep 23, 2013
  1. [vimrc] Add au for llvm

    authored
  2. [vimperator] Use gvim and google

    authored
  3. [scripts] Enhance gunka-advantage

    authored
  4. [bashrc] Add rlp and gcl

    authored
  5. Remove non-agda/evil emacs cruft

    authored
Commits on Aug 19, 2013
  1. [vim] Update to latest vim2hs

    authored
Commits on Aug 14, 2013
Commits on Aug 13, 2013
  1. [git] Use diff3 conflictstyle

    authored
Commits on Aug 12, 2013
Commits on Aug 11, 2013
  1. [git] Add colour

    authored
  2. [vim] Only use autoindent

    authored
  3. [submodules] Update

    authored
  4. [scripts] Add ckafi script

    authored
  5. [bashrc] Add provers to path

    authored
Commits on Aug 6, 2013
  1. [vimrc] keybindings for tags

    authored
  2. [xinitrc] xflux and xset b off

    authored
  3. [gitexcludes] Add .hi, tags

    authored
  4. [bashrc]

    authored
  5. [xmonad] Add binding to xlock

    authored
  6. [vim] Remove silly conceal

    authored
Commits on Apr 3, 2013
Something went wrong with that request. Please try again.