diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 14:38:35 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 14:38:35 +0200 |
commit | 6edadef7840f2104ad40dfa086641bccee8b2c57 (patch) | |
tree | 1dea4a3b4ca8e9f61feb200958f4e652b7631d11 /AUTHORS | |
parent | 7117f8ec78fba0fc899a5d2f292e806e0215a22e (diff) | |
download | docs-6edadef7840f2104ad40dfa086641bccee8b2c57.tar.gz docs-6edadef7840f2104ad40dfa086641bccee8b2c57.tar.bz2 docs-6edadef7840f2104ad40dfa086641bccee8b2c57.zip |
restoring old Makefile, we compile only in one place
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions