File: readme.de

package info (click to toggle)
texlive-extra 2016.20170123-5
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 2,578,600 kB
  • ctags: 25,000
  • sloc: perl: 139,711; python: 20,370; makefile: 14,165; sh: 10,734; ansic: 7,723; xml: 4,202; java: 3,567; csh: 1,129; ruby: 938; lisp: 630; awk: 163; tcl: 142; sed: 36; pascal: 25; cpp: 18; haskell: 5
file content (24 lines) | stat: -rw-r--r-- 1,057 bytes parent folder | download | duplicates (10) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
% $Id: readme.de 7 2009-06-30 11:07:26Z michael $
%
% Paket fuer Properties
%
% Properties-Datei laden:
% \loadDefaultProperties    lädt Datei \jobname.properties und
%                           falls vorhanden \jobname.local.properties
%                           dabei werden die vorher definierten Werte überschrieben.
% \loadOtherProperties{xxx} lädt Datei xxx.properties und
%                           falls vorhanden xxx.local.properties
%                           dabei werden die vorher definierten Werte überschrieben.
%
% Werte ermitteln:
% \getDefaultProperty{key}       ermittelt den Wert für key.
% \getOtherProperty{xxx}{key}    ermittelt den Wert für key und verwendet
%                                dabei xxx.properties.
%
% Werte setzen:
% \setDefaultProperty{key}{value}     setzt für key den Wert value.
% \setOtherProperty{xxx}{key}{value}  setzt für key den Wert value und verwendet
%                                     dabei xxx.properties.
%
% (c) Michael Niedermair (m.g.n@gmx.de)
% Lizenz: LaTeX Project Public License