about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2012-01-04T12·00+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2012-01-04T12·00+0000
commita0477a458fa9fd7fbe090ff8cebcfd162c090b43 (patch)
tree2f9f3960404dc3e2964bbd31cd786d7be52192eb /.gitignore
parentb79b85ad7668783391538fe2cda2e896f4ea0c8e (diff)
* currentOutput -> outputName. "current" implies some temporal
  aspect.

Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions