diff playtree.c @ 19425:4c2018ab7d45

10l: Also rename configure option for gcc check.
author diego
date Thu, 17 Aug 2006 23:41:51 +0000
parents f877f8c4ff42
children bab9e6c606cc
line wrap: on
line diff