Verze
4.0-4053
Větev
master
Datum
před 10 lety
Windows x64 Mac OS X Android Ubuntu 13.04
Odevzdání
9cba7878718d7184b53f0f453b016f20ccbe7a1f
Autor změny
comex
Popis změny
Merge pull request #1408 from randomstuff/perf

Profiling: measure time on non-Windows/POSIX using clock_gettime