/*
 * xrick/include/devtools.h
 *
 * This source code file is part of the xrick distribution, and as such is
 * copyrighted. Please read the README file in the root directory of the
 * distribution for information about copyrights, trademarks, license,
 * disclaimers, etc.
 */

#ifndef _DEVTOOLS_H
#define _DEVTOOLS_H

#include "system.h"

extern U8 devtools_run(void);

#endif

/* eof */
