From 3a5f406ff59a05c0eddda191127d58b39cb8049b Mon Sep 17 00:00:00 2001 From: cassiopc Date: Wed, 24 Oct 2012 09:56:07 +0200 Subject: open dir for 1.5.2. I still must split devel and master in different branches to properly use git... --- .../doc/problemexamples/problemtemplate/description/problem.info | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 boca-1.5.2/doc/problemexamples/problemtemplate/description/problem.info (limited to 'boca-1.5.2/doc/problemexamples/problemtemplate/description/problem.info') diff --git a/boca-1.5.2/doc/problemexamples/problemtemplate/description/problem.info b/boca-1.5.2/doc/problemexamples/problemtemplate/description/problem.info new file mode 100644 index 0000000..785e648 --- /dev/null +++ b/boca-1.5.2/doc/problemexamples/problemtemplate/description/problem.info @@ -0,0 +1,3 @@ +basename=shortfilename +fullname=This is the problem full name +descfile=desc.txt -- cgit v1.2.3