summaryrefslogblamecommitdiff
path: root/tools/memory-model/.gitignore
blob: cf4cd66d8fbf90ee598d1ebf95befa41f52ca046 (plain) (tree) 
d198b34f3855 ^

b02eb5b0961a ^

1

2

                                       
      
# SPDX-License-Identifier: GPL-2.0-only
litmus