From 5e817d4d735cc824d3778339cfb03a6f424498e0 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 18 Jul 2019 19:34:10 +0200
Subject: [PATCH] renaming aaa-trieste to a-trieste

@mbonomi @gtribello @carlocamilloni

I think this should fix the order in which the tutorials appear
online
---
 user-doc/tutorials/{aaa-trieste-1.txt => a-trieste-1.txt} | 0
 user-doc/tutorials/{aaa-trieste-2.txt => a-trieste-2.txt} | 0
 user-doc/tutorials/{aaa-trieste-3.txt => a-trieste-3.txt} | 0
 user-doc/tutorials/{aaa-trieste-4.txt => a-trieste-4.txt} | 0
 user-doc/tutorials/{aaa-trieste-5.txt => a-trieste-5.txt} | 0
 user-doc/tutorials/{aaa-trieste-6.txt => a-trieste-6.txt} | 0
 6 files changed, 0 insertions(+), 0 deletions(-)
 rename user-doc/tutorials/{aaa-trieste-1.txt => a-trieste-1.txt} (100%)
 rename user-doc/tutorials/{aaa-trieste-2.txt => a-trieste-2.txt} (100%)
 rename user-doc/tutorials/{aaa-trieste-3.txt => a-trieste-3.txt} (100%)
 rename user-doc/tutorials/{aaa-trieste-4.txt => a-trieste-4.txt} (100%)
 rename user-doc/tutorials/{aaa-trieste-5.txt => a-trieste-5.txt} (100%)
 rename user-doc/tutorials/{aaa-trieste-6.txt => a-trieste-6.txt} (100%)

diff --git a/user-doc/tutorials/aaa-trieste-1.txt b/user-doc/tutorials/a-trieste-1.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-1.txt
rename to user-doc/tutorials/a-trieste-1.txt
diff --git a/user-doc/tutorials/aaa-trieste-2.txt b/user-doc/tutorials/a-trieste-2.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-2.txt
rename to user-doc/tutorials/a-trieste-2.txt
diff --git a/user-doc/tutorials/aaa-trieste-3.txt b/user-doc/tutorials/a-trieste-3.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-3.txt
rename to user-doc/tutorials/a-trieste-3.txt
diff --git a/user-doc/tutorials/aaa-trieste-4.txt b/user-doc/tutorials/a-trieste-4.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-4.txt
rename to user-doc/tutorials/a-trieste-4.txt
diff --git a/user-doc/tutorials/aaa-trieste-5.txt b/user-doc/tutorials/a-trieste-5.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-5.txt
rename to user-doc/tutorials/a-trieste-5.txt
diff --git a/user-doc/tutorials/aaa-trieste-6.txt b/user-doc/tutorials/a-trieste-6.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-6.txt
rename to user-doc/tutorials/a-trieste-6.txt
-- 
GitLab