Rename --replacement to --replace, --substitution to --substitute

Comments (3)

1. 

   Erik Schnetter reporter

   • changed status to open
   • assigned issue to
   • removed comment

   Implemented.

   • 2010-12-23T15:49:47+00:00
2. 

   Erik Schnetter reporter

   • changed status to resolved
   • removed comment

   • 2010-12-23T16:30:16+00:00
3. 

   Roland Haas

   • changed status to closed
   • edited description

   • 2019-02-21T20:28:07+00:00
4. Log in to comment