summaryrefslogtreecommitdiff
path: root/tools/memory-model/.gitignore
blob: cf4cd66d8fbf90ee598d1ebf95befa41f52ca046 (plain)
1
2
# SPDX-License-Identifier: GPL-2.0-only
litmus