]> ruderich.org/simon Gitweb - config/dotfiles.git/tree - maxima/
gdbinit: Increase history size.
[config/dotfiles.git] / maxima /
drwxr-xr-x   ..
-rw-r--r-- 359 maxima-init.lisp
-rw-r--r-- 612 maxima-init.mac