diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-08-05 08:11:22 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-08-05 08:11:22 +0000 |
| commit | cf3ad3411bc9de86fc633d026d6f71511aa68e74 (patch) | |
| tree | cf8beea383aee4de86f933e70e7387f190904401 /Build/source/texk/kpathsea/recorder.h | |
| parent | d68992e6b7de4c94e6841019eb3b27e725c1fae4 (diff) | |
Remove unnecessary headers
git-svn-id: svn://tug.org/texlive/trunk@23421 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/kpathsea/recorder.h')
| -rw-r--r-- | Build/source/texk/kpathsea/recorder.h | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/Build/source/texk/kpathsea/recorder.h b/Build/source/texk/kpathsea/recorder.h deleted file mode 100644 index 3c5621ff0d7..00000000000 --- a/Build/source/texk/kpathsea/recorder.h +++ /dev/null @@ -1,21 +0,0 @@ -/* recorder.h: filename recorder callback. - - Copyright 2007, 2008 Karl Berry. - - This library is free software; you can redistribute it and/or - modify it under the terms of the GNU Lesser General Public - License as published by the Free Software Foundation; either - version 2.1 of the License, or (at your option) any later version. - - This library 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 - Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public License - along with this library; if not, see <http://www.gnu.org/licenses/>. */ - -#ifndef KPATHSEA_RECORDER_H -#define KPATHSEA_RECORDER_H - -#endif /* not KPATHSEA_RECORDER_H */ |