Commit 6c856fa9 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Renamed temporary files. 

These are the files generated automatically with the cmd
dictionaries. I renamed them to inc which is a more standard
extension for include files.
parent ed2fd7e8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment