Viewing all changes in revision 254.
- Committer: Simon Virenfeldt
- Date: 2021-02-18 09:55:18 UTC
- Revision ID: simwir1@gmail.com-20210218095518-3hzgkyupkqrlnxny
Fixed bug in traceable NDFS where the initial marking was not properly recognised.
expand all
collapse all
added
removed
