Binary: make_prefs_file.py

as runant.py kollision kdedoc ibv_uc_pingpong mpic++ mesg osinfo varnishlog mips-linux-gnu-ar cdbyank dnroute dokuwiki-addsite list_available_rpm scheme-ieee-1178-1990 make_exon.pl g_sans iptotal arapprn.pl i586-mingw32msvc-windres gcat tst rabbit-slide irb slrn_getdescs ptbl localinfo nnum ptm_img xpdf.real