diff options
author | Ludovic Courtes | 2007-02-06 22:53:16 +0000 |
---|---|---|
committer | Ludovic Courtes | 2007-02-06 22:53:16 +0000 |
commit | a0b080ec87104e8b2c030f1fde7f56dadb7f33dc (patch) | |
tree | 4bda718a428e3a80868bc77da50de853505332f2 /tools | |
parent | 980daea89d404610e09677b70fbb3f36c9e78608 (diff) | |
download | skribilo-a0b080ec87104e8b2c030f1fde7f56dadb7f33dc.tar.gz skribilo-a0b080ec87104e8b2c030f1fde7f56dadb7f33dc.tar.lz skribilo-a0b080ec87104e8b2c030f1fde7f56dadb7f33dc.zip |
evaluator: Made safer with respect to module excursions.
Patches applied:
* lcourtes@laas.fr--2005-libre/skribilo--engine-classes--1.2 (patch 11)
* skribilo--engine-classes--1.2 (patch 7)
- evaluator: Made safer with respect to module excursions.
git-archimport-id: skribilo@sv.gnu.org--2006/skribilo--devo--1.2--patch-55
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions