diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-16 11:56:14 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-05-16 11:56:14 +0000 |
commit | ffa638e564f41f2ae45aa926133603b2a7456c06 (patch) | |
tree | e654d4c6eebe9539a84406d385c15f1c3aa5d99c /docs/examples/gadts.scala | |
parent | be2557d32cbbc2d6b86aeb936aa18d39593ba0e1 (diff) | |
download | scala-ffa638e564f41f2ae45aa926133603b2a7456c06.tar.gz scala-ffa638e564f41f2ae45aa926133603b2a7456c06.tar.bz2 scala-ffa638e564f41f2ae45aa926133603b2a7456c06.zip |
Removing dead code. Change reviewed by Gilles.
Diffstat (limited to 'docs/examples/gadts.scala')
0 files changed, 0 insertions, 0 deletions