# Copyright (c) Abstract Machines
# SPDX-License-Identifier: Apache-2.0

*.csv
