#include "versie.h"

void drukkedoos_print_versie(FILE *f, const char *progname) {
  fprintf(f,
      "%s, deel van drukkedoos versie %s\n",
      progname, DRUKKEDOOS_VERSIE);
}