10 lines
417 B
HTML
10 lines
417 B
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta http-equiv="refresh" content="0;URL=fn.g_thread_pool_get_num_unused_threads.html">
|
|
</head>
|
|
<body>
|
|
<p>Redirecting to <a href="fn.g_thread_pool_get_num_unused_threads.html">fn.g_thread_pool_get_num_unused_threads.html</a>...</p>
|
|
<script>location.replace("fn.g_thread_pool_get_num_unused_threads.html" + location.search + location.hash);</script>
|
|
</body>
|
|
</html> |