]> andersk Git - splint.git/blame - src/Headers/handle.h
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / Headers / handle.h
CommitLineData
885824d3 1/*
28bf4b0b 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3 3** See ../LICENSE for license information.
4**
5*/
6typedef long unsigned Handle;
7
This page took 0.055928 seconds and 5 git commands to generate.