diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-17 13:58:50 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-17 17:03:36 +0200 |
commit | b09104aecf53fe261e8502d4cb2b5c5774dae063 (patch) | |
tree | 9632b4bdc41fb1720e320ebe1af294564c945ce4 /.gitmodules | |
parent | 744d81b5acc5a9c729b6bef45499f97833e8b773 (diff) | |
download | exchange-b09104aecf53fe261e8502d4cb2b5c5774dae063.tar.xz |
manual gpl boilerplate + commands to compile the manual
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions