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... --- boca-1.5.2/doc/problemexamples/multas/description/problem.info | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 boca-1.5.2/doc/problemexamples/multas/description/problem.info (limited to 'boca-1.5.2/doc/problemexamples/multas/description/problem.info') diff --git a/boca-1.5.2/doc/problemexamples/multas/description/problem.info b/boca-1.5.2/doc/problemexamples/multas/description/problem.info new file mode 100644 index 0000000..45944fc --- /dev/null +++ b/boca-1.5.2/doc/problemexamples/multas/description/problem.info @@ -0,0 +1,3 @@ +basename=multas +fullname=The Poblem of multas +descfile=m.txt -- cgit v1.2.3