1. cd11223 ignore results of .ttcnpp files by Neels Hofmeyr · 6 years ago
  2. 53fb0cf gen_links.sh: auto-generate .gitignore files to ignore symlinks by Neels Hofmeyr · 6 years ago
  3. 1a4c460 fix gen_links.sh: don't include source dir as link target by Neels Hofmeyr · 6 years ago