search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Cleaning development process #297

Closed iincer closed 1 year ago

iincer commented 1 year ago

Configuration files of dev tools have been cleaned