#ifdef HAVE_CONFIG_H
# include "config.h"
#endif

#include "shell.h"

int main (int argc, char* argv[]) {
    return ras_shell_main (argc, argv);
}