diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-10-17 10:10:39 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-10-17 10:10:39 +0000 |
commit | 5ed03cc4892723489f2c3f1afd68c943d36f99d0 (patch) | |
tree | cd4f9c21021f2cb06b1a5c599c21c230879df34e /Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h | |
parent | a85ad83410588659367b990f3396e14ab56ef7f4 (diff) |
dvisvgm 1.0.9
git-svn-id: svn://tug.org/texlive/trunk@24310 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h b/Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h new file mode 100644 index 00000000000..3485c27e6b5 --- /dev/null +++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.9/src/System.h @@ -0,0 +1,29 @@ +/************************************************************************* +** System.h ** +** ** +** This file is part of dvisvgm -- the DVI to SVG converter ** +** Copyright (C) 2005-2011 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 SYSTEM_H +#define SYSTEM_H + +namespace System +{ + double time (); +}; + +#endif |