about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-11-21T12·18+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-11-21T12·18+0000
commita6abade8e832217c27fade5ab8b7c28003c2ac46 (patch)
tree605329aebb51c334ce98829fbc62d9e8e3111aaf /.gitignore
parent964399c079f312312f75c41d6f58d323822b6cf0 (diff)
* Escape the [ and ] characters in the sed call, otherwise autoconf
  will eat them.

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