Mercurial > 14ss.theoinf
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 |
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Mon, 28 Apr 2014 12:27:03 +0200 |
parents | bc52346d79d8 |
children | 5bf1c9a3ec2e |