Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Remove snippet.pl
it does not seem to be used anymore, and causes internal server errors
  • Loading branch information
moritz committed Mar 12, 2019
1 parent 033ba3e commit a04d789
Showing 1 changed file with 0 additions and 23 deletions.
23 changes: 0 additions & 23 deletions source/snippet.pl

This file was deleted.

0 comments on commit a04d789

Please sign in to comment.