diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-10-19 15:42:31 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-10-19 15:48:10 +0200 |
| commit | e942f0c9b2c6be2799f0858a11edaf26e17b18f8 (patch) | |
| tree | dd5d3e47027e72fae43816ca62ec2b32dadf4f0b /parsing/vernacextend.ml4 | |
| parent | d3bc4be4a7aca149529b8cffae63b3c421bf7118 (diff) | |
debian/rules: make "build" a phony target
Diffstat (limited to 'parsing/vernacextend.ml4')
0 files changed, 0 insertions, 0 deletions