1BaseName: root_hints
2Version: 1.0
3Description: check if root hints have changed.
4CreationDate: Thu Oct 22 12:42:40 CEST 2008
5Maintainer: dr. W.C.A. Wijngaards
6Category:
7Component:
8CmdDepends:
9Depends:
10Help:
11Pre:
12Post:
13Test: root_hints.test
14AuxFiles:
15Passed:
16Failure:
17