log old/server/dump.py @ 639:89818a14648b rust tip

age author description
2014-03-30 Matt Johnston Move old stuff to its own place base server/dump.py@4aac52b711a5