From 814082a17aa5cddee463443bc417cd1b914ec9ed Mon Sep 17 00:00:00 2001 From: imp Date: Fri, 27 Jul 2018 19:12:02 +0000 Subject: [PATCH] Remove now-empty directories. git-svn doesn't remove them unless you give it special flags, which I forgot. Pointy Hat to: imp