diff .hgignore @ 12:11723d02ee58

use newer definitions
author Markus Kaiser <markus.kaiser@in.tum.de>
date Mon, 28 Apr 2014 12:27:03 +0200
parents bc52346d79d8
children 5bf1c9a3ec2e
line wrap: on
line diff