Death to .ui: Remove options.ui
commit596f81b8ec2e69fb7f14d9e1f72b65a0203c7b53
authorDavid Aguilar <davvid@gmail.com>
Sun, 4 Oct 2009 01:41:04 +0000 (3 18:41 -0700)
committerDavid Aguilar <davvid@gmail.com>
Sun, 4 Oct 2009 01:41:04 +0000 (3 18:41 -0700)
treef2637e6ee11eb630d99708511cc50b3dfc3c8e44
parentdcd40e043519239bf595d76ae37b0636ac0ca045
Death to .ui: Remove options.ui

Signed-off-by: David Aguilar <davvid@gmail.com>
ui/options.ui [deleted file]