gavo - Revision 9471: /hdinputs/arigfh/bin

• ..
• copyArigfh.py
• copyNotArigfh.py
• disable-unused-nids.sh
• katkatgrammar.py
• makeADSSource.py
• makePdf.sh
• untar-all.sh