summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHelmut Grohne <grohne@cs.uni-bonn.de>2014-04-03 08:45:19 +0200
committerHelmut Grohne <grohne@cs.uni-bonn.de>2014-04-03 08:45:19 +0200
commit20ff2bd915d116223e1ea9eda60647c60de98725 (patch)
tree5ecf0303a025cc930292223779013d39cd4432af /.gitignore
parentcb7f533f4119f044201df2f28838c96ee367b771 (diff)
downloadbidiragda-20ff2bd915d116223e1ea9eda60647c60de98725.tar.gz
drop PartialShapeVec
One can use PartialShapeShape instead, so there is limited utility for this type. It is not used directly and there also is no PartialVecShape.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions