From d3937f3b373ee9b1af09176d8a7d86eb6fcf790f Mon Sep 17 00:00:00 2001
From: Andreas Sandberg <andreas@sandberg.pp.se>
Date: Mon, 30 Sep 2013 09:40:26 +0200
Subject: ext: Include libfputils

This changeset includes libfputils from revision bbf0d61d75. This
library can be used to convert to and from 80-bit floats and query the
type of an 80-bit float, which is needed to support the x87 FPU.
---
 ext/fputils/AUTHORS | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 ext/fputils/AUTHORS

(limited to 'ext/fputils/AUTHORS')

diff --git a/ext/fputils/AUTHORS b/ext/fputils/AUTHORS
new file mode 100644
index 000000000..0f11b15dc
--- /dev/null
+++ b/ext/fputils/AUTHORS
@@ -0,0 +1 @@
+Andreas Sandberg <andreas@sandberg.pp.se>
-- 
cgit v1.2.3