diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-09-22 12:31:59 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-09-22 12:51:26 +0200 |
| commit | dcdaa8517bfaedcf4ce97380d39011d976fc1b64 (patch) | |
| tree | 17e03b2777b9afeb51975b44d7493cccc43ec077 /debian/changelog | |
| parent | e0356f0d6ec9310a3863f1983f7264847be3c274 (diff) | |
Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions