aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Make title bars even smallerJakob Odersky2016-05-251-1/+1
* Shrink header bars in gnome 3.20Jakob Odersky2016-05-241-6/+6
* Add magitJakob Odersky2016-05-241-1/+4
* Add convenience script to update drone-ci secretsJakob Odersky2016-05-202-0/+28
* Spark: don't run scalastyle on every compileJakob Odersky2016-05-201-0/+3
* Update sbt settingsJakob Odersky2016-05-182-5/+3
* Update gpg configurationJakob Odersky2016-05-182-7/+3
* Use projectile grepJakob Odersky2016-05-182-3/+6
* Always release on publish to bintrayJakob Odersky2016-05-171-5/+0
* Upgrade pluginsJakob Odersky2016-05-113-25/+33
* ENSIME config: remove underline from implicit conversionsJakob Odersky2016-05-031-2/+4
* Add clean sbt wrapper scriptJakob Odersky2016-04-181-0/+5
* Various changes to .emacs.dJakob Odersky2016-04-183-6/+11
* Update spotify keybindingsJakob Odersky2016-04-051-1/+2
* consolidate emacs configJakob Odersky2016-04-055-10/+38
* Update scala configJakob Odersky2016-04-021-8/+6
* Small fixesJakob Odersky2016-04-023-5/+3
* Autoload packagesJakob Odersky2016-04-021-0/+5
* Cleanup helm settingsJakob Odersky2016-04-021-35/+23
* Remove extra web modesJakob Odersky2016-04-021-8/+1
* Remove emacs decorational settingsJakob Odersky2016-04-021-19/+0
* FormattingJakob Odersky2016-04-025-64/+57
* Modularize configJakob Odersky2016-03-3110-144/+140
* Update keymapJakob Odersky2016-03-291-13/+22
* Add terminator confJakob Odersky2016-03-281-0/+30
* Consolidate emacs configJakob Odersky2016-03-2512-135/+135
* use-packageJakob Odersky2016-03-2510-87/+121
* Use locally published ensimeJakob Odersky2016-03-242-4/+29
* Don't checkout PR automaticallyJakob Odersky2016-03-241-1/+1
* Update ensimeJakob Odersky2016-03-241-1/+1
* Ignore proper nounsJakob Odersky2016-03-121-1/+1
* Update melpa URLJakob Odersky2016-03-031-1/+1
* Add spotify emacs packageJakob Odersky2016-03-031-0/+4
* Add .gitignoreJakob Odersky2016-02-291-1/+1
* Consolidate sbt configJakob Odersky2016-02-2913-21/+21
* Add signing key to gitconfigJakob Odersky2016-02-241-0/+3
* Remove solarized theme.Jakob Odersky2016-02-2412-1319/+0
* update ensime pluginJakob Odersky2016-02-242-5/+2
* Use GPG agentJakob Odersky2016-02-161-0/+2
* Modify branch name for git prJakob Odersky2016-02-151-1/+1
* Fix file permissionsJakob Odersky2016-02-153-0/+0
* Update markdown file extensionsJakob Odersky2016-02-151-2/+1
* Update locationJakob Odersky2016-02-151-2/+2
* deactivate minimap by defaultJakob Odersky2016-02-151-1/+1
* update documentationJakob Odersky2016-02-151-0/+3
* Improve backup in updatedotsJakob Odersky2016-01-221-11/+14
* update email addressJakob Odersky2016-01-201-1/+1
* upgrade sbt update pluginJakob Odersky2016-01-111-1/+1
* use minimapJakob Odersky2016-01-111-0/+8
* add monokai themeJakob Odersky2016-01-113-2/+5599