projects / dotfiles-public.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7b8f3a7 9662bb3)
Merge branch 'master' of git://github.com/wking/dotfiles-public
authorW. Trevor King <wking@tremily.us>
Wed, 11 Jul 2018 22:34:56 +0000 (15:34 -0700)
committerW. Trevor King <wking@tremily.us>
Wed, 11 Jul 2018 22:34:56 +0000 (15:34 -0700)
* 'master' of git://github.com/wking/dotfiles-public:
  .bashrc.d/30gpg_agent: Remove unnecessary file


Trivial merge
Public dotfiles for my basic workstation.