author | Christoph Junghans <junghans@mpip-mainz.mpg.de> | |
Wed, 28 Jul 2010 17:14:08 +0000 (19:14 +0200) | ||
committer | Christoph Junghans <junghans@mpip-mainz.mpg.de> | |
Wed, 28 Jul 2010 17:14:08 +0000 (19:14 +0200) | ||
commit | ed4f0698b82c27d83e40ad50b9bd8d10905bd373 | |
tree | 9ebea63b01bd71c5a27554dabb55098931a550ad | tree | snapshot |
parent | e5c846962751a682f79fd9567b8d57d7701a8551 | commit | diff |
scripts/checkheaders.sh | [new file with mode: 0755] | blob |