Skip to content

Commit

Permalink
deploy: 078f9a1
Browse files Browse the repository at this point in the history
  • Loading branch information
@mikucionisaau
mikucionisaau committed May 21, 2024
1 parent 09dcbd0 commit 01f2354
Show file tree
Hide file tree
Showing 110 changed files with 353 additions and 353 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!doctype html><html lang=en class="js csstransforms3d"><head><meta charset=utf-8><meta name=description content><link rel=icon href=/images/favicon.png type=image/png><title>404 Page not found</title>
<link href=/css/nucleus.css?1713273194 rel=stylesheet><link href=/css/fontawesome-all.min.css?1713273194 rel=stylesheet><link href=/css/hybrid.css?1713273194 rel=stylesheet><link href=/css/featherlight.min.css?1713273194 rel=stylesheet><link href=/css/perfect-scrollbar.min.css?1713273194 rel=stylesheet><link href=/css/theme.css?1713273194 rel=stylesheet><link href=/css/hugo-theme.css?1713273194 rel=stylesheet><style>:root #header+#content>#left>#rlblock_left{display:none!important}p,li,ul{text-align:center}ul{list-style-type:none}</style></head><body data-url=/><section id=body style=margin-left:0><div id=overlay></div><div id=chapter><div id=body-inner><h1>Error</h1><p></p><p>Woops. Looks like this page doesn't exist ¯\_(ツ)_/¯.</p><p></p><p><a href=/>Go to homepage</a></p><p><img src=/images/gopher-404.jpg style=width:50% alt="Page not found!"></p></div></div></section></body></html>
<link href=/css/nucleus.css?1716283005 rel=stylesheet><link href=/css/fontawesome-all.min.css?1716283005 rel=stylesheet><link href=/css/hybrid.css?1716283005 rel=stylesheet><link href=/css/featherlight.min.css?1716283005 rel=stylesheet><link href=/css/perfect-scrollbar.min.css?1716283005 rel=stylesheet><link href=/css/theme.css?1716283005 rel=stylesheet><link href=/css/hugo-theme.css?1716283005 rel=stylesheet><style>:root #header+#content>#left>#rlblock_left{display:none!important}p,li,ul{text-align:center}ul{list-style-type:none}</style></head><body data-url=/><section id=body style=margin-left:0><div id=overlay></div><div id=chapter><div id=body-inner><h1>Error</h1><p></p><p>Woops. Looks like this page doesn't exist ¯\_(ツ)_/¯.</p><p></p><p><a href=/>Go to homepage</a></p><p><img src=/images/gopher-404.jpg style=width:50% alt="Page not found!"></p></div></div></section></body></html>
8 changes: 4 additions & 4 deletions categories/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion categories/index.xml
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Categories on UPPAAL Documentation</title><link>/categories/</link><description>Recent content in Categories on UPPAAL Documentation</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><atom:link href="/categories/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Categories on UPPAAL Documentation</title><link>/categories/</link><description>Recent content in Categories on UPPAAL Documentation</description><generator>Hugo</generator><language>en-us</language><atom:link href="/categories/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
8 changes: 4 additions & 4 deletions extensions/cora/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion extensions/cora/index.xml
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>CORA on UPPAAL Documentation</title><link>/extensions/cora/</link><description>Recent content in CORA on UPPAAL Documentation</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><atom:link href="/extensions/cora/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>CORA on UPPAAL Documentation</title><link>/extensions/cora/</link><description>Recent content in CORA on UPPAAL Documentation</description><generator>Hugo</generator><language>en-us</language><atom:link href="/extensions/cora/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
8 changes: 4 additions & 4 deletions extensions/ecdar/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion extensions/ecdar/index.xml
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>ECDAR on UPPAAL Documentation</title><link>/extensions/ecdar/</link><description>Recent content in ECDAR on UPPAAL Documentation</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><atom:link href="/extensions/ecdar/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>ECDAR on UPPAAL Documentation</title><link>/extensions/ecdar/</link><description>Recent content in ECDAR on UPPAAL Documentation</description><generator>Hugo</generator><language>en-us</language><atom:link href="/extensions/ecdar/index.xml" rel="self" type="application/rss+xml"/></channel></rss>
Loading

0 comments on commit 01f2354

Please sign in to comment.