Function SetMinDisplayTime

kernel/oswrapper/timer.cc:27–30

}

void SetMinDisplayTime(double mtime)
{
  mintime = mtime;
}

#include <stdio.h>