]> andersk Git - splint.git/blob - src/Headers/rcfiles.h
Committed to enable merge.
[splint.git] / src / Headers / rcfiles.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6 /*
7 ** rcfiles.h
8 */
9
10 # ifndef RCFILES_H
11 # define RCFILES_H
12
13 extern bool rcfiles_read (cstring p_fname,
14                           cstringSList *p_passThroughArgs,
15                           bool p_report) 
16   /*@modifies fileSystem, internalState, *p_passThroughArgs@*/ ;
17    
18 # endif
This page took 0.164292 seconds and 5 git commands to generate.