chiark / gitweb /
dot/gdbinit, git/gitignore: Save GDB command-line history.
[profile] / git /
drwxr-xr-x   ..
-rw-r--r-- 196 attributes
-rw-r--r-- 299 gitignore