commit dd8e82384c3e0ff999d8f23cc3de4e4443fdd833 parent b0b68384d28cca6ce7b2f15e7e92c4925d9d5e69 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Thu, 1 Jun 2017 08:51:14 +0200 docs > doc, just to be consistent with other repos. Diffstat:
| R | docs/onboarding.texi -> doc/onboarding.texi | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/docs/onboarding.texi b/doc/onboarding.texi