Code

Ignore IDE generated files#421

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:git-ignore-ide-filesNathanJPhillips/cbmc:git-ignore-ide-filesCopy head branch name to clipboard

Jan 11, 2017

Commits

Commits on Jan 11, 2017

• Ignore IDE generated files

  NathanJPhillips

  committed
  dfb5e2c

  Copy full SHA for dfb5e2c