]> ruderich.org/simon Gitweb - config/dotfiles.git/blob - .gitignore
gdbinit: Increase history size.
[config/dotfiles.git] / .gitignore
1 /maxima/maxout.gnuplot_pipes