# Generated files
/daitch_mokotoff.h
# Generated subdirectories
/log/
/results/
/tmp_check/