source: rtems-central/formal/promela/.gitignore @ 3f4d9a4

Last change on this file since 3f4d9a4 was 3f4d9a4, checked in by Andrew Butterfield <Andrew.Butterfield@…>, on 01/10/23 at 19:44:42

top level FV hierarchy

  • Property mode set to 100644
File size: 60 bytes
Line 
1*/refine_command.py
2*/spin2test.py
3*/pan*
4*/testbuilder.yml
Note: See TracBrowser for help on using the repository browser.