]> andersk Git - splint.git/blame - src/Headers/version.h
Updated libary version number.
[splint.git] / src / Headers / version.h
CommitLineData
885824d3 1/*
c0de361f 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3 3** See ../LICENSE for license information.
4*/
5/*
6** version.h
7*/
8
9# ifndef VERSION_H
10# define VERSION_H
11
6fcd0b1e 12/*
13** Minimum version with compatible libraries.
14*/
15
16/*@constant float SPLINT_LIBVERSION; @*/
7c080ead 17# define SPLINT_LIBVERSION 3.018
6fcd0b1e 18
1b8ae690 19/*@constant observer char *SPLINT_MAINTAINER; @*/
155af98d 20# define SPLINT_MAINTAINER "splint-bug@splint.org"
885824d3 21
885824d3 22# else
23# error "Multiple include"
24# endif
25
26
27
This page took 0.080113 seconds and 5 git commands to generate.