diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 15:11:48 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 15:11:48 +0200 |
| commit | d5f8dcb227ead33c17b135f48f34a169a5e9c2f8 (patch) | |
| tree | ca40e5dbceeb0196c223b99cedb57e97d0802bec /configure.ac | |
| parent | b62af4902a929d0420e1c977fdf2cfc7c51804d7 (diff) | |
remove deleted directory from compilation
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions