comparison src/coq/Axioms.v @ 1981:e90f218f2d48

Trim trailing whitespace in urweb.c.
author Patrick Hurst <phurst@mit.edu>
date Sat, 25 Jan 2014 18:13:33 -0500
parents be88d2d169f6
children
comparison
equal deleted inserted replaced
1979:81bc76aa4acd 1981:e90f218f2d48