diff options
author | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
commit | ceb4551cfb0e3fd1bdf8bdb868e6758634486ecb (patch) | |
tree | 9b2d3d49b2bdeb15a9c4a07ec0a9e22f8ca4f92a /src/util.cc | |
parent | ef68a0c23ddb50de58ddb55f1f893095b78d7c4c (diff) |
Remove effectively dead sound() code
Diffstat (limited to 'src/util.cc')
-rw-r--r-- | src/util.cc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/util.cc b/src/util.cc index f4f6c64e..d9805f47 100644 --- a/src/util.cc +++ b/src/util.cc @@ -1239,16 +1239,6 @@ void bell(void) } -/* -* Hack -- Make a (relevant?) sound -*/ -void sound(int val) -{ - /* Ignore; sound not currently supported. */ - return; -} - - /* * Helper function called only from "inkey()" |