diff options
| author | gregoire.detrez <gregoire.detrez@gu.se> | 2013-08-26 12:30:47 +0000 |
|---|---|---|
| committer | gregoire.detrez <gregoire.detrez@gu.se> | 2013-08-26 12:30:47 +0000 |
| commit | b94fd4295754de520df736b122d978d3183af330 (patch) | |
| tree | d0d54dfc1d7a6082f2306766718d08ccad34ab20 /src/runtime/c | |
| parent | a20cd77d251192b8912587de17ebb87fa3cfb053 (diff) | |
Remove script (moved to an other repository)
Diffstat (limited to 'src/runtime/c')
0 files changed, 0 insertions, 0 deletions