stx_libbasic.st
branchjv
changeset 21784 d58698c455c1
parent 21249 86c01ee5a76e
child 22133 8c07ed5a8767
--- a/stx_libbasic.st	Tue May 30 07:24:23 2017 +0200
+++ b/stx_libbasic.st	Fri May 26 21:24:42 2017 +0100
@@ -397,7 +397,9 @@
         UninterpretedBytes
         (UnixFileDescriptorHandle unix)
         (UnixFileHandle unix)
-        (UnixOperatingSystem unix)
+        UnixTerminalAttributes
+        UnixTerminalConstants
+        UnixOperatingSystem        
         UserInformation
         UtcTimestamp
         VMInternalError