diff options
Diffstat (limited to 'dists/devcpp')
-rw-r--r-- | dists/devcpp/agos.dev (renamed from dists/devcpp/simon.dev) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dists/devcpp/simon.dev b/dists/devcpp/agos.dev index 9c5c04f0be..9c5c04f0be 100644 --- a/dists/devcpp/simon.dev +++ b/dists/devcpp/agos.dev |