/tools/

• ../
• make_entities_inc.py
• mkcasefold.pl