|
-shrc
|
add alias for cryptominisat
|
2019-05-30 01:27:12 -07:00 |
|
bashrc
|
clean up compiler and loop stuff
|
2016-12-09 17:19:28 -08:00 |
|
ea
|
don't print progress with eahead
|
2019-02-09 22:47:16 +01:00 |
|
inputrc
|
move ~ files to home/
|
2013-07-05 11:07:46 -07:00 |
|
minttyrc
|
update minttyrc
|
2017-11-04 14:23:06 +00:00 |
|
screenrc
|
move ~ files to home/
|
2013-07-05 11:07:46 -07:00 |
|
streamcrap
|
fix youtube-dl format arguments
|
2019-05-30 01:26:28 -07:00 |
|
vimrc
|
use two spaces for yices files
|
2019-05-26 20:54:52 +02:00 |
|
Xresources
|
stuff that may or may not work
|
2017-01-23 11:56:26 -08:00 |
|
zshrc
|
clean up old stuff
|
2019-05-30 01:25:49 -07:00 |
