Use clock_gettime for a better resolution in timer.h.

[loba.git] / misc.cpp

#include "misc.h"

namespace misc {
    // Defined here to avoid multiple instances.
    const char str_esse[] = "s";
}