+.gdbinit with some utility functions for Linux kernel debugging.
[nethome.git] / bin / ar
1 #! /bin/bash
2 exec passg "$0" "$@"