#!/bin/sh
#
# $Id: sinfp3-exportp.sh 15 2012-08-31 14:48:10Z gomor $
#
sinfp3.pl -input-null -db-sinfp3 -mode-null -search-null -output ExportP
#!/bin/sh
#
# $Id: sinfp3-exportp.sh 15 2012-08-31 14:48:10Z gomor $
#
sinfp3.pl -input-null -db-sinfp3 -mode-null -search-null -output ExportP