# 
# patch "commands.hh"
#  from [cce382e66cf7064f56e731f8e9a48fe8be62d71c]
#    to [f2f45ab20f37d33f52054ae343a0b1a099494a35]
# 
--- commands.hh
+++ commands.hh
@@ -25,7 +25,6 @@
 namespace commands {
   void explain_usage(std::string const & cmd, std::ostream & out);
   int process(app_state & app, std::string const & cmd, std::vector<utf8> const & args);
-  void kill_rev_locally(app_state& app, std::string const & id);
   typedef enum 
     {
       sel_author,