/*
 * Copyright 2019 the Pacemaker project contributors
 *
 * The version control history for this file may have further details.
 *
 * This source code is licensed under the GNU Lesser General Public License
 * version 2.1 or later (LGPLv2.1+) WITHOUT ANY WARRANTY.
 */

#ifndef PACEMAKER_INTERNAL__H
#  define PACEMAKER_INTERNAL__H

#  include <pcmki/pcmki_error.h>
#  include <pcmki/pcmki_fence.h>
#  include <pcmki/pcmki_output.h>
#  include <pcmki/pcmki_sched_allocate.h>
#  include <pcmki/pcmki_sched_notif.h>
#  include <pcmki/pcmki_sched_utils.h>
#  include <pcmki/pcmki_scheduler.h>
#  include <pcmki/pcmki_transition.h>

#endif