about summary refs log tree commit diff stats
path: root/modal/logic.modal
Commit message (Collapse)AuthorAgeFilesLines
* *elioat2024-04-191-0/+4