diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-06 13:27:05 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-06 13:27:05 -0500 |
| commit | c420c49605e8396da684ce0d826be41682b79955 (patch) | |
| tree | bc79e3a12bec454cfffbfa97da832aac98404f23 /demo/treeFun.urs | |
| parent | 07c1a51ed8e842fcdcd4304cd6531f6432163e15 (diff) | |
AM_INIT_AUTOMAKE with no-define (to fix some NetBSD and OS X problems)
Diffstat (limited to 'demo/treeFun.urs')
0 files changed, 0 insertions, 0 deletions