2 lines
88 B
Plaintext
2 lines
88 B
Plaintext
alias nusmv='docker run -it --rm -v /home/$USER/Development:/input:ro badouralix/nusmv'
|
alias nusmv='docker run -it --rm -v /home/$USER/Development:/input:ro badouralix/nusmv'
|