mirror of
https://github.com/nasa/trick.git
synced 2024-12-28 08:58:53 +00:00
18f0d7e871
Makes it easier to edit the files. So if we press 'end of line' we are really at the end of line. |
||
---|---|---|
.. | ||
include | ||
src | ||
test | ||
.gitignore | ||
makefile |