debug.c

Go to the documentation of this file.

#include "board.h"

#include "../debug.h"

void Debug_print(char* fmt, ...) {
  (void) fmt;
}