This commit is contained in:
Simon Cruanes 2022-05-09 10:49:48 -04:00
parent 2e4db82b67
commit e59cc68c24
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,6 @@
(* This file is free software, part of containers. See file "license" for more details. *) (* This file is free software, part of containers. See file "license" for more details. *)
(** 1 IO Utils (** IO Utils
Simple utilities to deal with basic Input/Output tasks in a resource-safe Simple utilities to deal with basic Input/Output tasks in a resource-safe
way. For advanced IO tasks, the user is advised to use something way. For advanced IO tasks, the user is advised to use something