(* OASIS_START *) (* DO NOT EDIT (digest: 39233cbfb47f09567f436cecf7abecb2) *) Authors of aifad Markus Mottl <markus.mottl@gmail.com> Current maintainers of aifad Markus Mottl <markus.mottl@gmail.com> (* OASIS_STOP *)
(* OASIS_START *) (* DO NOT EDIT (digest: 39233cbfb47f09567f436cecf7abecb2) *) Authors of aifad Markus Mottl <markus.mottl@gmail.com> Current maintainers of aifad Markus Mottl <markus.mottl@gmail.com> (* OASIS_STOP *)