#!/bin/sh
echo "wesnoth_editor is deprecated -- please use wesnoth --editor directly!"
wesnoth --editor $*
