diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:00:44 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:00:44 +0200 |
| commit | f4a0ae85a98ec9a30d9f613b4af0138894b197df (patch) | |
| tree | 540a6cac324be3e68458fa9140bbe2136a0929a0 /contrib | |
| parent | d5f8dcb227ead33c17b135f48f34a169a5e9c2f8 (diff) | |
preventing Makefile.in generation in non existent directory
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions