Skip to content

Commit

Permalink
Merge pull request #561 from gracjan/pr-remove-unused-files
Browse files Browse the repository at this point in the history
Remove no longer used files
  • Loading branch information
gracjan committed Apr 15, 2015
2 parents 54a1042 + 254e61c commit e30d4e6
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 15 deletions.
3 changes: 0 additions & 3 deletions check.sh

This file was deleted.

12 changes: 0 additions & 12 deletions gen-graph.sh

This file was deleted.

0 comments on commit e30d4e6

Please sign in to comment.