diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-01 08:51:14 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-06-01 08:51:14 +0200 |
| commit | dd8e82384c3e0ff999d8f23cc3de4e4443fdd833 (patch) | |
| tree | 498e30fd675d6e49e7d277e5cb7a9a68e7da3f64 | |
| parent | b0b68384d28cca6ce7b2f15e7e92c4925d9d5e69 (diff) | |
| download | deployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.tar.gz deployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.tar.bz2 deployment-dd8e82384c3e0ff999d8f23cc3de4e4443fdd833.zip | |
docs > doc, just to be consistent with other repos.
| -rw-r--r-- | doc/onboarding.texi (renamed from docs/onboarding.texi) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/onboarding.texi b/doc/onboarding.texi index 3327b2a..3327b2a 100644 --- a/docs/onboarding.texi +++ b/doc/onboarding.texi |