From 782d2a843e37273461abf5b47421973e464a734d Mon Sep 17 00:00:00 2001
From: "remi.clement" <remi.clement@inrae.fr>
Date: Thu, 2 Jul 2020 23:27:14 +0200
Subject: [PATCH] new

---
 public/{html => }/.buildinfo                       |   0
 public/{html => }/_images/logo_ohmpi.JPG           | Bin
 public/{html => }/_sources/index.rst.txt           |   0
 public/{html => }/_sources/page0.rst.txt           |   0
 public/{html => }/_sources/page1.rst.txt           |   0
 public/{html => }/_static/basic.css                |   0
 public/{html => }/_static/classic.css              |   0
 public/{html => }/_static/doctools.js              |   0
 public/{html => }/_static/documentation_options.js |   0
 public/{html => }/_static/file.png                 | Bin
 public/{html => }/_static/jquery-3.5.1.js          |   0
 public/{html => }/_static/jquery.js                |   0
 public/{html => }/_static/language_data.js         |   0
 public/{html => }/_static/minus.png                | Bin
 public/{html => }/_static/plus.png                 | Bin
 public/{html => }/_static/pygments.css             |   0
 public/{html => }/_static/searchtools.js           |   0
 public/{html => }/_static/sidebar.js               |   0
 public/{html => }/_static/underscore-1.3.1.js      |   0
 public/{html => }/_static/underscore.js            |   0
 public/{html => }/genindex.html                    |   0
 public/{html => }/index.html                       |   0
 public/{html => }/objects.inv                      | Bin
 public/{html => }/page0.html                       |   0
 public/{html => }/page1.html                       |   0
 public/{html => }/search.html                      |   0
 public/{html => }/searchindex.js                   |   0
 27 files changed, 0 insertions(+), 0 deletions(-)
 rename public/{html => }/.buildinfo (100%)
 rename public/{html => }/_images/logo_ohmpi.JPG (100%)
 rename public/{html => }/_sources/index.rst.txt (100%)
 rename public/{html => }/_sources/page0.rst.txt (100%)
 rename public/{html => }/_sources/page1.rst.txt (100%)
 rename public/{html => }/_static/basic.css (100%)
 rename public/{html => }/_static/classic.css (100%)
 rename public/{html => }/_static/doctools.js (100%)
 rename public/{html => }/_static/documentation_options.js (100%)
 rename public/{html => }/_static/file.png (100%)
 rename public/{html => }/_static/jquery-3.5.1.js (100%)
 rename public/{html => }/_static/jquery.js (100%)
 rename public/{html => }/_static/language_data.js (100%)
 rename public/{html => }/_static/minus.png (100%)
 rename public/{html => }/_static/plus.png (100%)
 rename public/{html => }/_static/pygments.css (100%)
 rename public/{html => }/_static/searchtools.js (100%)
 rename public/{html => }/_static/sidebar.js (100%)
 rename public/{html => }/_static/underscore-1.3.1.js (100%)
 rename public/{html => }/_static/underscore.js (100%)
 rename public/{html => }/genindex.html (100%)
 rename public/{html => }/index.html (100%)
 rename public/{html => }/objects.inv (100%)
 rename public/{html => }/page0.html (100%)
 rename public/{html => }/page1.html (100%)
 rename public/{html => }/search.html (100%)
 rename public/{html => }/searchindex.js (100%)

diff --git a/public/html/.buildinfo b/public/.buildinfo
similarity index 100%
rename from public/html/.buildinfo
rename to public/.buildinfo
diff --git a/public/html/_images/logo_ohmpi.JPG b/public/_images/logo_ohmpi.JPG
similarity index 100%
rename from public/html/_images/logo_ohmpi.JPG
rename to public/_images/logo_ohmpi.JPG
diff --git a/public/html/_sources/index.rst.txt b/public/_sources/index.rst.txt
similarity index 100%
rename from public/html/_sources/index.rst.txt
rename to public/_sources/index.rst.txt
diff --git a/public/html/_sources/page0.rst.txt b/public/_sources/page0.rst.txt
similarity index 100%
rename from public/html/_sources/page0.rst.txt
rename to public/_sources/page0.rst.txt
diff --git a/public/html/_sources/page1.rst.txt b/public/_sources/page1.rst.txt
similarity index 100%
rename from public/html/_sources/page1.rst.txt
rename to public/_sources/page1.rst.txt
diff --git a/public/html/_static/basic.css b/public/_static/basic.css
similarity index 100%
rename from public/html/_static/basic.css
rename to public/_static/basic.css
diff --git a/public/html/_static/classic.css b/public/_static/classic.css
similarity index 100%
rename from public/html/_static/classic.css
rename to public/_static/classic.css
diff --git a/public/html/_static/doctools.js b/public/_static/doctools.js
similarity index 100%
rename from public/html/_static/doctools.js
rename to public/_static/doctools.js
diff --git a/public/html/_static/documentation_options.js b/public/_static/documentation_options.js
similarity index 100%
rename from public/html/_static/documentation_options.js
rename to public/_static/documentation_options.js
diff --git a/public/html/_static/file.png b/public/_static/file.png
similarity index 100%
rename from public/html/_static/file.png
rename to public/_static/file.png
diff --git a/public/html/_static/jquery-3.5.1.js b/public/_static/jquery-3.5.1.js
similarity index 100%
rename from public/html/_static/jquery-3.5.1.js
rename to public/_static/jquery-3.5.1.js
diff --git a/public/html/_static/jquery.js b/public/_static/jquery.js
similarity index 100%
rename from public/html/_static/jquery.js
rename to public/_static/jquery.js
diff --git a/public/html/_static/language_data.js b/public/_static/language_data.js
similarity index 100%
rename from public/html/_static/language_data.js
rename to public/_static/language_data.js
diff --git a/public/html/_static/minus.png b/public/_static/minus.png
similarity index 100%
rename from public/html/_static/minus.png
rename to public/_static/minus.png
diff --git a/public/html/_static/plus.png b/public/_static/plus.png
similarity index 100%
rename from public/html/_static/plus.png
rename to public/_static/plus.png
diff --git a/public/html/_static/pygments.css b/public/_static/pygments.css
similarity index 100%
rename from public/html/_static/pygments.css
rename to public/_static/pygments.css
diff --git a/public/html/_static/searchtools.js b/public/_static/searchtools.js
similarity index 100%
rename from public/html/_static/searchtools.js
rename to public/_static/searchtools.js
diff --git a/public/html/_static/sidebar.js b/public/_static/sidebar.js
similarity index 100%
rename from public/html/_static/sidebar.js
rename to public/_static/sidebar.js
diff --git a/public/html/_static/underscore-1.3.1.js b/public/_static/underscore-1.3.1.js
similarity index 100%
rename from public/html/_static/underscore-1.3.1.js
rename to public/_static/underscore-1.3.1.js
diff --git a/public/html/_static/underscore.js b/public/_static/underscore.js
similarity index 100%
rename from public/html/_static/underscore.js
rename to public/_static/underscore.js
diff --git a/public/html/genindex.html b/public/genindex.html
similarity index 100%
rename from public/html/genindex.html
rename to public/genindex.html
diff --git a/public/html/index.html b/public/index.html
similarity index 100%
rename from public/html/index.html
rename to public/index.html
diff --git a/public/html/objects.inv b/public/objects.inv
similarity index 100%
rename from public/html/objects.inv
rename to public/objects.inv
diff --git a/public/html/page0.html b/public/page0.html
similarity index 100%
rename from public/html/page0.html
rename to public/page0.html
diff --git a/public/html/page1.html b/public/page1.html
similarity index 100%
rename from public/html/page1.html
rename to public/page1.html
diff --git a/public/html/search.html b/public/search.html
similarity index 100%
rename from public/html/search.html
rename to public/search.html
diff --git a/public/html/searchindex.js b/public/searchindex.js
similarity index 100%
rename from public/html/searchindex.js
rename to public/searchindex.js
-- 
GitLab