diff configure.ac @ 30:5d6337df5ec7

A silly RPC bug that I'm surprised wasn't caught before now
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Apr 2011 13:15:10 -0400
parents b416b9b9dc38
children
line wrap: on
line diff