diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-09-15 09:15:29 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-09-15 09:15:29 +0000 |
commit | ac391ad3f024072af6dbc29e6242e01626fa68e3 (patch) | |
tree | 1d189f720c595af76a58674680a6d0ce3b5ce46d /Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h | |
parent | 57e5dbc43fa038cd4a9926b870f04e543e7a3844 (diff) |
dvisvgm 1.8.1
git-svn-id: svn://tug.org/texlive/trunk@35175 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h b/Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h deleted file mode 100644 index 7200c93f291..00000000000 --- a/Build/source/texk/dvisvgm/dvisvgm-1.8/src/System.h +++ /dev/null @@ -1,29 +0,0 @@ -/************************************************************************* -** System.h ** -** ** -** This file is part of dvisvgm -- the DVI to SVG converter ** -** Copyright (C) 2005-2014 Martin Gieseking <martin.gieseking@uos.de> ** -** ** -** 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 3 of ** -** the License, 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, see <http://www.gnu.org/licenses/>. ** -*************************************************************************/ - -#ifndef DVISVGM_SYSTEM_H -#define DVISVGM_SYSTEM_H - -namespace System -{ - double time (); -} - -#endif |