This repository has been archived by the owner on Sep 2, 2022. It is now read-only.

unused input in frama#132

Open

ferchaure wants to merge 1 commit intopeerchemist:masterfrom ferchaure:master

+2-5

Commits on May 5, 2022

removing unused frama variable period
ferchaure
committed