aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Matej Kosik <matej.kosik@inria.fr>2016-10-18 11:33:41 +0200
committerGravatar Matej Kosik <matej.kosik@inria.fr>2016-10-19 13:48:52 +0200
commitb403e0224ba502c0cd80702eca08405aa6de0828 (patch)
treef4daf3f122d04a43f8ea11248ca880997a9b170a /.gitignore
parent7b4dbbb83e3da2fe716dacad627ddd3497653f07 (diff)
COMMENT: was added to "Nameops.increment_suffix".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions