Skip to content
Commit 31ad995a authored by bergengruen's avatar bergengruen
Browse files

renamed with extension .ttcn intead of .ttcn3

parent 95b9dccc
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment