tree 00ae2c9aff127dc48b6951f0bf54d81e66bd0dc0
parent 1e1023344a68609dd0b3aca7f0705d3e14a8a8f2
author Barret Rhoden <brho@cs.berkeley.edu> 1428346316 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1428433620 -0400

Removes mon_setmapperm

Unused, and just cluttering up my git grep.