mirror of
https://github.com/brl/mutter.git
synced 2025-01-23 01:48:55 +00:00
a9a69ac807
2008-02-03 Thomas Thurman <tthurman@gnome.org> * tools/patch-wrangler.py: another program I use for maintenance which other people might find useful and which should probably be in svn. Also not very polished. svn path=/trunk/; revision=3549