blob: eb1863cddd29a233df9b5df0cf1210e869131907 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
/* -----------------------------------------------------------------------------
*
* (c) The GHC Team, 1998-2009
*
* TTY-related functionality
*
* ---------------------------------------------------------------------------*/
#pragma once
RTS_PRIVATE void resetTerminalSettings (void);
|
