File indexing completed on 2023-05-30 09:04:27 

0001 function get_files
0002 {
0003     echo geo.xml
0004 }
0005 
0006 function po_for_file
0007 {
0008     case "$1" in
0009        geo.xml)
0010            echo marble_xml_mimetypes.po
0011        ;;
0012     esac
0013 }
0014 
0015 function tags_for_file
0016 {
0017     case "$1" in
0018        geo.xml)
0019            echo comment
0020        ;;
0021     esac
0022 }