diff options
author | Eduardo Julian | 2015-07-25 20:19:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-07-25 20:19:43 -0400 |
commit | 4cd9b0c9242f1105e50ad9b42b7f6f5d074f14b4 (patch) | |
tree | d8828396e3f76e5b5dabb1f530234047ec239794 /source/lux/codata/stream.lux | |
parent | 6c51e5e50aa98bb26a3e2b34f57a0e24f8537d93 (diff) |
- The output directory is now being used as the cache.
- "input" has been renamed as "source" and "output" has been renamed as "target".
Diffstat (limited to '')
-rw-r--r-- | source/lux/codata/stream.lux (renamed from input/lux/codata/stream.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/input/lux/codata/stream.lux b/source/lux/codata/stream.lux index 1d6dd1b50..1d6dd1b50 100644 --- a/input/lux/codata/stream.lux +++ b/source/lux/codata/stream.lux |