New file from Bruno.

filter through cppi

diff --git a/lib/unicodeio.h b/lib/unicodeio.h
new file mode 100644 (file)
index 0000000..ae6b939
--- /dev/null
+++ b/lib/unicodeio.h
@@ -0,0 +1,9 @@
+#ifndef UNICODEIO_H
+# define UNICODEIO_H
+
+# include <stdio.h>
+
+/* Outputs the Unicode character CODE to the output stream STREAM.  */
+extern void print_unicode_char (FILE *stream, unsigned int code);
+
+#endif