aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCristian Maglie <c.maglie@bug.st>2012-01-02 19:11:57 +0100
committerCristian Maglie <c.maglie@bug.st>2012-01-02 19:11:57 +0100
commitbe52c95820400d48e47615232d3c38236166fad3 (patch)
treea1e6b452120b2bf88bb94a77414e4be30525e274
parent1916282c0ed6a4589a0e0c8f9a8f5ac36118d8b2 (diff)
Renamed platforms.txt to platform.txt
-rw-r--r--platform.txt (renamed from platforms.txt)0
1 files changed, 0 insertions, 0 deletions
diff --git a/platforms.txt b/platform.txt
index 96a6378..96a6378 100644
--- a/platforms.txt
+++ b/platform.txt