diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2013-07-04 12:32:16 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2013-07-04 12:32:16 +0000 |
commit | 7631d9f15d97ec82eb121650032b99ccba2621ff (patch) | |
tree | 8a1dcbe996a8de3c5bb30fc2f34caaa143f78b9e /Makefile | |
parent | 8dc8561b71646db2342d6aac86d654a386478219 (diff) |
Fixing a compilation warning for a ml4pg function in coq.el.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions