]> ruderich.org/simon Gitweb - config/dotfiles.git/tree
gdbinit: Increase history size.
-rw-r--r-- 29 .gitignore
-rw-r--r-- 150 gdbinit
drwxr-xr-x - maxima
-rwxr-xr-x 186 setup.sh