Retire LDP man-pages repository

[linuxjm/LDP_man-pages.git] / original / man3 / isinff.3

diff --git a/original/man3/isinff.3 b/original/man3/isinff.3
deleted file mode 100644 (file)
index 19f709b..0000000
--- a/original/man3/isinff.3
+++ /dev/null
@@ -1 +0,0 @@
-.so man3/finite.3