 Nathalie Furmento
|
f5d7ec4fb4
contrib/ci.inria.fr: build pdf documentation
|
5 years ago |
|
Nathalie Furmento
|
271a7d9d0f
update copyright holders
|
5 years ago |
|
Nathalie Furmento
|
f7abbfa6fc
update copyright
|
6 years ago |
|
Nathalie Furmento
|
4290b711d9
contrib/ci.inria.fr: add developers documentation in stash
|
6 years ago |
|
Nathalie Furmento
|
35d32ee030
contrib: set copyright
|
7 years ago |
|
Nathalie Furmento
|
932b5e0af2
contrib: move files out of build directory
|
7 years ago |
|
Nathalie Furmento
|
3078b0954c
contrib: fix doc stashing
|
7 years ago |
|
Nathalie Furmento
|
0fc18e3b38
contrib: update tarball script to delete previous build directory
|
7 years ago |
|
Nathalie Furmento
|
86bd8fdedd
contrib: delete previous build directory
|
7 years ago |
|
Nathalie Furmento
|
8006d1f4cb
contrib: update tarball script
|
7 years ago |
|
Nathalie Furmento
|
e0ed924373
contrib: set execute permission for script
|
7 years ago |
|
Nathalie Furmento
|
e84f128cd5
contrib: add script to build tarball
|
7 years ago |
