aboutsummaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-31 16:00:44 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-31 16:00:44 +0200
commitf4a0ae85a98ec9a30d9f613b4af0138894b197df (patch)
tree540a6cac324be3e68458fa9140bbe2136a0929a0 /COPYING
parentd5f8dcb227ead33c17b135f48f34a169a5e9c2f8 (diff)
preventing Makefile.in generation in non existent directory
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions