100644 blob ec895b7e07e886504030f6293e6111b521117dcd	dump.py
100644 blob 21ef8d80171aa20f77cf0b3a0e0e149c69125ce8	grep.py
100644 blob 4994bf9100f032b04c34890bcbb5db259ba22bf6	newdir.py
100644 blob 2ff067d0c20257c9fb92ba7970e1462c0f498fec	packmail.py
100644 blob c299d0a9a95d6a10a332da9613d753f3683c3781	rand.py
100644 blob ef0c4b50d235b20780de0b4b55aad8051d7a84ca	tb.py
100644 blob 6cb143342639d0c166cba45e5b36d7b2ffd91134	util.py