redirect method

void redirect(String from, String to)

Implementation

void redirect(String from, String to) {
  // nothing to do (everything is generated)
}