7
7
This file is part of the extensible drawing editor Ipe.
10
10
Ipe is free software; you can redistribute it and/or modify it
11
11
under the terms of the GNU General Public License as published by
13
13
(at your option) any later version.
15
15
As a special exception, you have permission to link Ipe with the