/mandos/trunk

To get this branch, use:
bzr branch http://bzr.recompile.se/loggerhead/mandos/trunk

« back to all changes in this revision

Viewing changes to plugins.d/mandos-client.xml

  • Committer: Teddy Hogeborn
  • Date: 2010-09-12 03:00:40 UTC
  • Revision ID: teddy@fukt.bsnet.se-20100912030040-b0uopyennste9fdh
Documentation changes:

* DBUS-API: New file documenting the server D-Bus interface.

* clients.conf: Add examples of new approval settings.

* debian/mandos.docs: Added "DBUS-API".

* mandos-clients.conf.xml (OPTIONS): Added "approved_by_default",
                                     "approval_delay", and
                                     "approval_duration".
* mandos.xml (D-BUS INTERFACE): Refer to the "DBUS-API" file.
  (BUGS): Remove mention of lack of a remote query interface.

Show diffs side-by-side

added added

removed removed

Lines of Context:
plugins.d/mandos-client.xml
1
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
3
3
        "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
4
 
<!ENTITY VERSION "1.0">
5
 
<!ENTITY COMMANDNAME "password-request">
6
 
<!ENTITY TIMESTAMP "2008-09-03">
 
4
<!ENTITY COMMANDNAME "mandos-client">
 
5
<!ENTITY TIMESTAMP "2009-02-09">
 
6
<!ENTITY % common SYSTEM "../common.ent">
 
7
%common;
7
8
]>
8
9
 
9
10
<refentry xmlns:xi="http://www.w3.org/2001/XInclude">
10
11
  <refentryinfo>
11
12
    <title>Mandos Manual</title>
12
 
    <!-- Nwalsh’s docbook scripts use this to generate the footer: -->
 
13
    <!-- NWalsh’s docbook scripts use this to generate the footer: -->
13
14
    <productname>Mandos</productname>
14
 
    <productnumber>&VERSION;</productnumber>
 
15
    <productnumber>&version;</productnumber>
15
16
    <date>&TIMESTAMP;</date>
16
17
    <authorgroup>
17
18
      <author>
31
32
    </authorgroup>
32
33
    <copyright>
33
34
      <year>2008</year>
 
35
      <year>2009</year>
34
36
      <holder>Teddy Hogeborn</holder>
35
37
      <holder>Björn Påhlsson</holder>
36
38
    </copyright>
37
39
    <xi:include href="../legalnotice.xml"/>
38
40
  </refentryinfo>
39
 
 
 
41
  
40
42
  <refmeta>
41
43
    <refentrytitle>&COMMANDNAME;</refentrytitle>
42
44
    <manvolnum>8mandos</manvolnum>
45
47
  <refnamediv>
46
48
    <refname><command>&COMMANDNAME;</command></refname>
47
49
    <refpurpose>
48
 
      Client for mandos
 
50
      Client for <application>Mandos</application>
49
51
    </refpurpose>
50
52
  </refnamediv>
51
 
 
 
53
  
52
54
  <refsynopsisdiv>
53
55
    <cmdsynopsis>
54
56
      <command>&COMMANDNAME;</command>
55
57
      <group>
56
58
        <arg choice="plain"><option>--connect
57
 
        <replaceable>IPADDR</replaceable><literal>:</literal
 
59
        <replaceable>ADDRESS</replaceable><literal>:</literal
58
60
        ><replaceable>PORT</replaceable></option></arg>
59
61
        <arg choice="plain"><option>-c
60
 
        <replaceable>IPADDR</replaceable><literal>:</literal
 
62
        <replaceable>ADDRESS</replaceable><literal>:</literal
61
63
        ><replaceable>PORT</replaceable></option></arg>
62
64
      </group>
63
65
      <sbr/>
64
66
      <group>
65
 
        <arg choice="plain"><option>--keydir
66
 
        <replaceable>DIRECTORY</replaceable></option></arg>
67
 
        <arg choice="plain"><option>-d
68
 
        <replaceable>DIRECTORY</replaceable></option></arg>
69
 
      </group>
70
 
      <sbr/>
71
 
      <group>
72
67
        <arg choice="plain"><option>--interface
73
68
        <replaceable>NAME</replaceable></option></arg>
74
69
        <arg choice="plain"><option>-i
98
93
      </arg>
99
94
      <sbr/>
100
95
      <arg>
 
96
        <option>--delay <replaceable>SECONDS</replaceable></option>
 
97
      </arg>
 
98
      <sbr/>
 
99
      <arg>
101
100
        <option>--debug</option>
102
101
      </arg>
103
102
    </cmdsynopsis>
120
119
      </group>
121
120
    </cmdsynopsis>
122
121
  </refsynopsisdiv>
123
 
 
 
122
  
124
123
  <refsect1 id="description">
125
124
    <title>DESCRIPTION</title>
126
125
    <para>
127
126
      <command>&COMMANDNAME;</command> is a client program that
128
127
      communicates with <citerefentry><refentrytitle
129
128
      >mandos</refentrytitle><manvolnum>8</manvolnum></citerefentry>
130
 
      to get a password.  It uses IPv6 link-local addresses to get
131
 
      network connectivity, Zeroconf to find the server, and TLS with
132
 
      an OpenPGP key to ensure authenticity and confidentiality.  It
133
 
      keeps running, trying all servers on the network, until it
134
 
      receives a satisfactory reply.
 
129
      to get a password.  In slightly more detail, this client program
 
130
      brings up a network interface, uses the interface’s IPv6
 
131
      link-local address to get network connectivity, uses Zeroconf to
 
132
      find servers on the local network, and communicates with servers
 
133
      using TLS with an OpenPGP key to ensure authenticity and
 
134
      confidentiality.  This client program keeps running, trying all
 
135
      servers on the network, until it receives a satisfactory reply
 
136
      or a TERM signal is received.  If no servers are found, or after
 
137
      all servers have been tried, it waits indefinitely for new
 
138
      servers to appear.
135
139
    </para>
136
140
    <para>
137
141
      This program is not meant to be run directly; it is really meant
191
195
      </varlistentry>
192
196
      
193
197
      <varlistentry>
194
 
        <term><option>--keydir=<replaceable
195
 
        >DIRECTORY</replaceable></option></term>
196
 
        <term><option>-d
197
 
        <replaceable>DIRECTORY</replaceable></option></term>
198
 
        <listitem>
199
 
          <para>
200
 
            Directory to read the OpenPGP key files
201
 
            <filename>pubkey.txt</filename> and
202
 
            <filename>seckey.txt</filename> from.  The default is
203
 
            <filename>/conf/conf.d/mandos</filename> (in the initial
204
 
            <acronym>RAM</acronym> disk environment).
205
 
          </para>
206
 
        </listitem>
207
 
      </varlistentry>
208
 
 
209
 
      <varlistentry>
210
 
        <term><option>--interface=
211
 
        <replaceable>NAME</replaceable></option></term>
 
198
        <term><option>--interface=<replaceable
 
199
        >NAME</replaceable></option></term>
212
200
        <term><option>-i
213
201
        <replaceable>NAME</replaceable></option></term>
214
202
        <listitem>
215
203
          <para>
216
204
            Network interface that will be brought up and scanned for
217
 
            Mandos servers to connect to.  The default it
218
 
            <quote><literal>eth0</literal></quote>.
 
205
            Mandos servers to connect to.  The default is the empty
 
206
            string, which will automatically choose an appropriate
 
207
            interface.
 
208
          </para>
 
209
          <para>
 
210
            If the <option>--connect</option> option is used, this
 
211
            specifies the interface to use to connect to the address
 
212
            given.
 
213
          </para>
 
214
          <para>
 
215
            Note that since this program will normally run in the
 
216
            initial RAM disk environment, the interface must be an
 
217
            interface which exists at that stage.  Thus, the interface
 
218
            can not be a pseudo-interface such as <quote>br0</quote>
 
219
            or <quote>tun0</quote>; such interfaces will not exist
 
220
            until much later in the boot process, and can not be used
 
221
            by this program.
 
222
          </para>
 
223
          <para>
 
224
            <replaceable>NAME</replaceable> can be the string
 
225
            <quote><literal>none</literal></quote>; this will not use
 
226
            any specific interface, and will not bring up an interface
 
227
            on startup.  This is not recommended, and only meant for
 
228
            advanced users.
219
229
          </para>
220
230
        </listitem>
221
231
      </varlistentry>
227
237
        <replaceable>FILE</replaceable></option></term>
228
238
        <listitem>
229
239
          <para>
230
 
            OpenPGP public key file base name.  This will be combined
231
 
            with the directory from the <option>--keydir</option>
232
 
            option to form an absolute file name.  The default name is
233
 
            <quote><literal>pubkey.txt</literal></quote>.
 
240
            OpenPGP public key file name.  The default name is
 
241
            <quote><filename>/conf/conf.d/mandos/pubkey.txt</filename
 
242
            ></quote>.
234
243
          </para>
235
244
        </listitem>
236
245
      </varlistentry>
237
 
 
 
246
      
238
247
      <varlistentry>
239
248
        <term><option>--seckey=<replaceable
240
249
        >FILE</replaceable></option></term>
242
251
        <replaceable>FILE</replaceable></option></term>
243
252
        <listitem>
244
253
          <para>
245
 
            OpenPGP secret key file base name.  This will be combined
246
 
            with the directory from the <option>--keydir</option>
247
 
            option to form an absolute file name.  The default name is
248
 
            <quote><literal>seckey.txt</literal></quote>.
 
254
            OpenPGP secret key file name.  The default name is
 
255
            <quote><filename>/conf/conf.d/mandos/seckey.txt</filename
 
256
            ></quote>.
249
257
          </para>
250
258
        </listitem>
251
259
      </varlistentry>
258
266
                      xpointer="priority"/>
259
267
        </listitem>
260
268
      </varlistentry>
261
 
 
 
269
      
262
270
      <varlistentry>
263
271
        <term><option>--dh-bits=<replaceable
264
272
        >BITS</replaceable></option></term>
269
277
          </para>
270
278
        </listitem>
271
279
      </varlistentry>
 
280
 
 
281
      <varlistentry>
 
282
        <term><option>--delay=<replaceable
 
283
        >SECONDS</replaceable></option></term>
 
284
        <listitem>
 
285
          <para>
 
286
            After bringing the network interface up, the program waits
 
287
            for the interface to arrive in a <quote>running</quote>
 
288
            state before proceeding.  During this time, the kernel log
 
289
            level will be lowered to reduce clutter on the system
 
290
            console, alleviating any other plugins which might be
 
291
            using the system console.  This option sets the upper
 
292
            limit of seconds to wait.  The default is 2.5 seconds.
 
293
          </para>
 
294
        </listitem>
 
295
      </varlistentry>
272
296
      
273
297
      <varlistentry>
274
298
        <term><option>--debug</option></term>
304
328
          </para>
305
329
        </listitem>
306
330
      </varlistentry>
307
 
 
 
331
      
308
332
      <varlistentry>
309
333
        <term><option>--version</option></term>
310
334
        <term><option>-V</option></term>
316
340
      </varlistentry>
317
341
    </variablelist>
318
342
  </refsect1>
319
 
 
 
343
  
320
344
  <refsect1 id="overview">
321
345
    <title>OVERVIEW</title>
322
346
    <xi:include href="../overview.xml"/>
331
355
      <filename>/etc/crypttab</filename>, but it would then be
332
356
      impossible to enter a password for the encrypted root disk at
333
357
      the console, since this program does not read from the console
334
 
      at all.  This is why a separate plugin does that, which will be
335
 
      run in parallell to this one by the plugin runner.
 
358
      at all.  This is why a separate plugin runner (<citerefentry>
 
359
      <refentrytitle>plugin-runner</refentrytitle>
 
360
      <manvolnum>8mandos</manvolnum></citerefentry>) is used to run
 
361
      both this program and others in in parallel,
 
362
      <emphasis>one</emphasis> of which will prompt for passwords on
 
363
      the system console.
336
364
    </para>
337
365
  </refsect1>
338
366
  
345
373
      program will exit with a non-zero exit status only if a critical
346
374
      error occurs.  Otherwise, it will forever connect to new
347
375
      <application>Mandos</application> servers as they appear, trying
348
 
      to get a decryptable password.
 
376
      to get a decryptable password and print it.
349
377
    </para>
350
378
  </refsect1>
351
379
  
359
387
    </para>
360
388
  </refsect1>
361
389
  
362
 
  <refsect1 id="file">
 
390
  <refsect1 id="files">
363
391
    <title>FILES</title>
364
 
    <para>
365
 
    </para>
366
 
  </refsect1>
367
 
  
368
 
  <refsect1 id="bugs">
369
 
    <title>BUGS</title>
370
 
    <para>
371
 
    </para>
372
 
  </refsect1>
373
 
 
 
392
    <variablelist>
 
393
      <varlistentry>
 
394
        <term><filename>/conf/conf.d/mandos/pubkey.txt</filename
 
395
        ></term>
 
396
        <term><filename>/conf/conf.d/mandos/seckey.txt</filename
 
397
        ></term>
 
398
        <listitem>
 
399
          <para>
 
400
            OpenPGP public and private key files, in <quote>ASCII
 
401
            Armor</quote> format.  These are the default file names,
 
402
            they can be changed with the <option>--pubkey</option> and
 
403
            <option>--seckey</option> options.
 
404
          </para>
 
405
        </listitem>
 
406
      </varlistentry>
 
407
    </variablelist>
 
408
  </refsect1>
 
409
  
 
410
<!--   <refsect1 id="bugs"> -->
 
411
<!--     <title>BUGS</title> -->
 
412
<!--     <para> -->
 
413
<!--     </para> -->
 
414
<!--   </refsect1> -->
 
415
  
374
416
  <refsect1 id="example">
375
417
    <title>EXAMPLE</title>
376
418
    <para>
 
419
      Note that normally, command line options will not be given
 
420
      directly, but via options for the Mandos <citerefentry
 
421
      ><refentrytitle>plugin-runner</refentrytitle>
 
422
      <manvolnum>8mandos</manvolnum></citerefentry>.
377
423
    </para>
 
424
    <informalexample>
 
425
      <para>
 
426
        Normal invocation needs no options, if the network interface
 
427
        is <quote>eth0</quote>:
 
428
      </para>
 
429
      <para>
 
430
        <userinput>&COMMANDNAME;</userinput>
 
431
      </para>
 
432
    </informalexample>
 
433
    <informalexample>
 
434
      <para>
 
435
        Search for Mandos servers (and connect to them) using another
 
436
        interface:
 
437
      </para>
 
438
      <para>
 
439
        <!-- do not wrap this line -->
 
440
        <userinput>&COMMANDNAME; --interface eth1</userinput>
 
441
      </para>
 
442
    </informalexample>
 
443
    <informalexample>
 
444
      <para>
 
445
        Run in debug mode, and use a custom key:
 
446
      </para>
 
447
      <para>
 
448
 
 
449
<!-- do not wrap this line -->
 
450
<userinput>&COMMANDNAME; --debug --pubkey keydir/pubkey.txt --seckey keydir/seckey.txt</userinput>
 
451
 
 
452
      </para>
 
453
    </informalexample>
 
454
    <informalexample>
 
455
      <para>
 
456
        Run in debug mode, with a custom key, and do not use Zeroconf
 
457
        to locate a server; connect directly to the IPv6 link-local
 
458
        address <quote><systemitem class="ipaddress"
 
459
        >fe80::aede:48ff:fe71:f6f2</systemitem></quote>, port 4711,
 
460
        using interface eth2:
 
461
      </para>
 
462
      <para>
 
463
 
 
464
<!-- do not wrap this line -->
 
465
<userinput>&COMMANDNAME; --debug --pubkey keydir/pubkey.txt --seckey keydir/seckey.txt --connect fe80::aede:48ff:fe71:f6f2:4711 --interface eth2</userinput>
 
466
 
 
467
      </para>
 
468
    </informalexample>
378
469
  </refsect1>
379
 
 
 
470
  
380
471
  <refsect1 id="security">
381
472
    <title>SECURITY</title>
382
473
    <para>
 
474
      This program is set-uid to root, but will switch back to the
 
475
      original (and presumably non-privileged) user and group after
 
476
      bringing up the network interface.
 
477
    </para>
 
478
    <para>
 
479
      To use this program for its intended purpose (see <xref
 
480
      linkend="purpose"/>), the password for the root file system will
 
481
      have to be given out to be stored in a server computer, after
 
482
      having been encrypted using an OpenPGP key.  This encrypted data
 
483
      which will be stored in a server can only be decrypted by the
 
484
      OpenPGP key, and the data will only be given out to those
 
485
      clients who can prove they actually have that key.  This key,
 
486
      however, is stored unencrypted on the client side in its initial
 
487
      <acronym>RAM</acronym> disk image file system.  This is normally
 
488
      readable by all, but this is normally fixed during installation
 
489
      of this program; file permissions are set so that no-one is able
 
490
      to read that file.
 
491
    </para>
 
492
    <para>
 
493
      The only remaining weak point is that someone with physical
 
494
      access to the client hard drive might turn off the client
 
495
      computer, read the OpenPGP keys directly from the hard drive,
 
496
      and communicate with the server.  To safeguard against this, the
 
497
      server is supposed to notice the client disappearing and stop
 
498
      giving out the encrypted data.  Therefore, it is important to
 
499
      set the timeout and checker interval values tightly on the
 
500
      server.  See <citerefentry><refentrytitle
 
501
      >mandos</refentrytitle><manvolnum>8</manvolnum></citerefentry>.
 
502
    </para>
 
503
    <para>
 
504
      It will also help if the checker program on the server is
 
505
      configured to request something from the client which can not be
 
506
      spoofed by someone else on the network, unlike unencrypted
 
507
      <acronym>ICMP</acronym> echo (<quote>ping</quote>) replies.
 
508
    </para>
 
509
    <para>
 
510
      <emphasis>Note</emphasis>: This makes it completely insecure to
 
511
      have <application >Mandos</application> clients which dual-boot
 
512
      to another operating system which is <emphasis>not</emphasis>
 
513
      trusted to keep the initial <acronym>RAM</acronym> disk image
 
514
      confidential.
383
515
    </para>
384
516
  </refsect1>
385
 
 
 
517
  
386
518
  <refsect1 id="see_also">
387
519
    <title>SEE ALSO</title>
388
520
    <para>
 
521
      <citerefentry><refentrytitle>cryptsetup</refentrytitle>
 
522
      <manvolnum>8</manvolnum></citerefentry>,
 
523
      <citerefentry><refentrytitle>crypttab</refentrytitle>
 
524
      <manvolnum>5</manvolnum></citerefentry>,
389
525
      <citerefentry><refentrytitle>mandos</refentrytitle>
390
526
      <manvolnum>8</manvolnum></citerefentry>,
391
527
      <citerefentry><refentrytitle>password-prompt</refentrytitle>
393
529
      <citerefentry><refentrytitle>plugin-runner</refentrytitle>
394
530
      <manvolnum>8mandos</manvolnum></citerefentry>
395
531
    </para>
396
 
    <itemizedlist>
397
 
      <listitem><para>
398
 
        <ulink url="http://www.zeroconf.org/">Zeroconf</ulink>
399
 
      </para></listitem>
400
 
      
401
 
      <listitem><para>
402
 
        <ulink url="http://www.avahi.org/">Avahi</ulink>
403
 
      </para></listitem>
404
 
      
405
 
      <listitem><para>
406
 
        <ulink
407
 
            url="http://www.gnu.org/software/gnutls/">GnuTLS</ulink>
408
 
      </para></listitem>
409
 
      
410
 
      <listitem><para>
411
 
        <ulink
412
 
        url="http://www.gnupg.org/related_software/gpgme/"
413
 
        >GPGME</ulink>
414
 
      </para></listitem>
415
 
      
416
 
      <listitem><para>
417
 
        <citation>RFC 4880: <citetitle>OpenPGP Message
418
 
        Format</citetitle></citation>
419
 
      </para></listitem>
420
 
      
421
 
      <listitem><para>
422
 
        <citation>RFC 5081: <citetitle>Using OpenPGP Keys for
423
 
        Transport Layer Security</citetitle></citation>
424
 
      </para></listitem>
425
 
      
426
 
      <listitem><para>
427
 
        <citation>RFC 4291: <citetitle>IP Version 6 Addressing
428
 
        Architecture</citetitle>, section 2.5.6, Link-Local IPv6
429
 
        Unicast Addresses</citation>
430
 
      </para></listitem>
431
 
    </itemizedlist>
 
532
    <variablelist>
 
533
      <varlistentry>
 
534
        <term>
 
535
          <ulink url="http://www.zeroconf.org/">Zeroconf</ulink>
 
536
        </term>
 
537
        <listitem>
 
538
          <para>
 
539
            Zeroconf is the network protocol standard used for finding
 
540
            Mandos servers on the local network.
 
541
          </para>
 
542
        </listitem>
 
543
      </varlistentry>
 
544
      <varlistentry>
 
545
        <term>
 
546
          <ulink url="http://www.avahi.org/">Avahi</ulink>
 
547
        </term>
 
548
      <listitem>
 
549
        <para>
 
550
          Avahi is the library this program calls to find Zeroconf
 
551
          services.
 
552
        </para>
 
553
      </listitem>
 
554
      </varlistentry>
 
555
      <varlistentry>
 
556
        <term>
 
557
          <ulink url="http://www.gnu.org/software/gnutls/"
 
558
          >GnuTLS</ulink>
 
559
        </term>
 
560
      <listitem>
 
561
        <para>
 
562
          GnuTLS is the library this client uses to implement TLS for
 
563
          communicating securely with the server, and at the same time
 
564
          send the public OpenPGP key to the server.
 
565
        </para>
 
566
      </listitem>
 
567
      </varlistentry>
 
568
      <varlistentry>
 
569
        <term>
 
570
          <ulink url="http://www.gnupg.org/related_software/gpgme/"
 
571
                 >GPGME</ulink>
 
572
        </term>
 
573
        <listitem>
 
574
          <para>
 
575
            GPGME is the library used to decrypt the OpenPGP data sent
 
576
            by the server.
 
577
          </para>
 
578
        </listitem>
 
579
      </varlistentry>
 
580
      <varlistentry>
 
581
        <term>
 
582
          RFC 4291: <citetitle>IP Version 6 Addressing
 
583
          Architecture</citetitle>
 
584
        </term>
 
585
        <listitem>
 
586
          <variablelist>
 
587
            <varlistentry>
 
588
              <term>Section 2.2: <citetitle>Text Representation of
 
589
              Addresses</citetitle></term>
 
590
              <listitem><para/></listitem>
 
591
            </varlistentry>
 
592
            <varlistentry>
 
593
              <term>Section 2.5.5.2: <citetitle>IPv4-Mapped IPv6
 
594
              Address</citetitle></term>
 
595
              <listitem><para/></listitem>
 
596
            </varlistentry>
 
597
            <varlistentry>
 
598
            <term>Section 2.5.6, <citetitle>Link-Local IPv6 Unicast
 
599
            Addresses</citetitle></term>
 
600
            <listitem>
 
601
              <para>
 
602
                This client uses IPv6 link-local addresses, which are
 
603
                immediately usable since a link-local addresses is
 
604
                automatically assigned to a network interfaces when it
 
605
                is brought up.
 
606
              </para>
 
607
            </listitem>
 
608
            </varlistentry>
 
609
          </variablelist>
 
610
        </listitem>
 
611
      </varlistentry>
 
612
      <varlistentry>
 
613
        <term>
 
614
          RFC 4346: <citetitle>The Transport Layer Security (TLS)
 
615
          Protocol Version 1.1</citetitle>
 
616
        </term>
 
617
      <listitem>
 
618
        <para>
 
619
          TLS 1.1 is the protocol implemented by GnuTLS.
 
620
        </para>
 
621
      </listitem>
 
622
      </varlistentry>
 
623
      <varlistentry>
 
624
        <term>
 
625
          RFC 4880: <citetitle>OpenPGP Message Format</citetitle>
 
626
        </term>
 
627
      <listitem>
 
628
        <para>
 
629
          The data received from the server is binary encrypted
 
630
          OpenPGP data.
 
631
        </para>
 
632
      </listitem>
 
633
      </varlistentry>
 
634
      <varlistentry>
 
635
        <term>
 
636
          RFC 5081: <citetitle>Using OpenPGP Keys for Transport Layer
 
637
          Security</citetitle>
 
638
        </term>
 
639
      <listitem>
 
640
        <para>
 
641
          This is implemented by GnuTLS and used by this program so
 
642
          that OpenPGP keys can be used.
 
643
        </para>
 
644
      </listitem>
 
645
      </varlistentry>
 
646
    </variablelist>
432
647
  </refsect1>
433
 
 
434
648
</refentry>
 
649
 
435
650
<!-- Local Variables: -->
436
651
<!-- time-stamp-start: "<!ENTITY TIMESTAMP [\"']" -->
437
652
<!-- time-stamp-end: "[\"']>" -->