diff options
Diffstat (limited to 'demos/ppl_lpsol/dummy.cc')
| -rw-r--r-- | demos/ppl_lpsol/dummy.cc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/demos/ppl_lpsol/dummy.cc b/demos/ppl_lpsol/dummy.cc new file mode 100644 index 000000000..1d47c5fab --- /dev/null +++ b/demos/ppl_lpsol/dummy.cc @@ -0,0 +1,13 @@ +/* Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> + Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + +This file is free software; as a special exception the author gives +unlimited permission to copy and/or distribute it, with or without +modifications, as long as this notice is preserved. + +This program is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY, to the extent permitted by law; without even the +implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR +PURPOSE. */ + +// This file intentionally contains only this comment :-) |