                                                              -*- org -*-
#+TITLE: Dezyne test baseline

Copyright © 2021 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>

  Copying and distribution of this file, with or without modification,
  are permitted in any medium without royalty provided the copyright
  notice and this notice are preserved.

All .aut files are test data baseline LTSs in the Aldebaran format and
are distributed under the GNU Affero General Public License version 3 or
later.
