/*
 *
 *  Copyright (C) 2024-2025  Yurii Yakubin (yurii.yakubin@gmail.com)
 *
 */

#ifndef _SYS_TIMES_H
#define _SYS_TIMES_H

#include <wasmux/time.h>

#endif /* _SYS_TIMES_H */