@ -3642,6 +3642,8 @@ GLFWAPI void glfwSetTime(double time);
GLFWAPI GLFWuint64 glfwGetTimerValue(void);
/*! @brief Returns the frequency, in Hz, of the raw timer.
*
* This function returns the frequency, in Hz, of the raw timer.
* @return The frequency of the timer, in Hz, or zero if an
* [error](@ref error_handling) occurred.