diff options
author | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-06 00:02:27 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpgritti@gmail.com> | 2008-10-06 00:02:27 (GMT) |
commit | a757c6040cbff1a48525b8c629a41fd9a73d1270 (patch) | |
tree | 89b850b39b1290024470cb64b1ddaf503450deb0 /bin/Makefile.am | |
parent | 7665848bb8766813a77372cbb24d70ebfcc573de (diff) |
Remove the remaining shell view bits and finally kill it.
Diffstat (limited to 'bin/Makefile.am')
0 files changed, 0 insertions, 0 deletions