summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHelmut Grohne <grohne@cs.uni-bonn.de>2014-03-10 16:11:15 +0100
committerHelmut Grohne <grohne@cs.uni-bonn.de>2014-03-10 16:11:15 +0100
commitcb7f533f4119f044201df2f28838c96ee367b771 (patch)
treee054a054d2071a2ad29acd99ae8addecd3981c64 /.gitignore
parentb0b22d17dd4a6037defd57aa20223e1c5781eb66 (diff)
downloadbidiragda-cb7f533f4119f044201df2f28838c96ee367b771.tar.gz
also allow Shaped types for the view
Albeit long, this commit is relatively boring.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions