Revision - 61cc46c - Make explicit the use of the tail recursive append from ExtLib.

Revision 61cc46c7fa66646975b108ad5d8651b511dccd73 authored by Roberto Di Cosmo on 10 November 2011, 10:56:35 UTC, committed by Roberto Di Cosmo on 10 November 2011, 10:56:35 UTC

Make explicit the use of the tail recursive append from ExtLib.

1 parent de0cbbc

Files
Changes

INSTALL

To install this program, just type

make; make install

To uninstall, type

make uninstall

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...