From: Simon Josefsson <simon@josefsson.org>
Date: Wed, 23 Feb 2005 23:31:01 +0000 (+0000)
Subject: Remove (accidentally prematurely added).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a384f7b60fe25290428e5a88a41cc7de5272ffaf;p=pspp

Remove (accidentally prematurely added).
---

diff --git a/lib/size_max.h b/lib/size_max.h
deleted file mode 100644
index dcce48efc1..0000000000
--- a/lib/size_max.h
+++ /dev/null
@@ -1,27 +0,0 @@
-/* size_max.h -- declare SIZE_MAX through system headers
-   Copyright (C) 2005 Free Software Foundation, Inc.
-   Written by Simon Josefsson.
-
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software Foundation,
-   Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
-
-#ifndef GNULIB_SIZE_MAX_H
-#define GNULIB_SIZE_MAX_H
-
-# include <limits.h>
-# if HAVE_STDINT_H
-#  include <stdint.h>
-# endif
-
-#endif /* GNULIB_SIZE_MAX_H */