removed useless file

simgrid · May 17, 2016 · 401fa66 · 401fa66
1 parent ec3bf07
commit 401fa66
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/_includes/sidebar.html b/_includes/sidebar.html
@@ -1,6 +1,6 @@
 
 
-<div class="ui vertical left fixed menu basic ">
+<div class="ui vertical left fixed menu basic  ">
   <br>
   <a href="http://simgrid.org" target="_blank">
   <img width=99 src="{{site.baseurl}}public/simgrid_logo.jpg" style="margin-left:5px">
@@ -31,4 +31,6 @@ <h4 class="ui header fluid">{{node.title}}
   {% endif %}
   {% endif %}
   {% endfor %}
+
+  <div class="ui divider"></div>
 </div>
diff --git a/semantic/dist.zip b/semantic/dist.zip