summaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorAdam Spragg <adam@spra.gg>2018-06-21 11:26:55 +0100
committerAdam Spragg <adam@spra.gg>2018-06-21 11:26:55 +0100
commitb8d3ec12020729639b30ba6d4d40dbdcb8d04554 (patch)
tree95ce77bd794553281424068b522765392b5c1b29 /html
parent50bc7e1249b1f3c96c2b8284c80683eb4850a72a (diff)
Add my contributions to libxml2 to /projects/
Diffstat (limited to 'html')
-rw-r--r--html/projects/index.php13
-rw-r--r--html/style/main.css4
2 files changed, 16 insertions, 1 deletions
diff --git a/html/projects/index.php b/html/projects/index.php
index bc3d4a6..c661add 100644
--- a/html/projects/index.php
+++ b/html/projects/index.php
@@ -8,7 +8,18 @@
<?php echo indent(site_header('Projects'), 3); ?>
</header>
<main>
- <p>To be continued...</p>
+ <p>Public projects that I've worked on/contributed to...</p>
+
+ <h2><a href="http://xmlsoft.org/">libxml2</a></h2>
+ <h3><a href="https://mail.gnome.org/archives/xml/2010-October/thread.html#00002">Add new pretty-printing and sorting options for saving XML</a></h3>
+ <p>Commits:</p>
+ <ol class="commit">
+ <li><a href="https://gitlab.gnome.org/GNOME/libxml2/commit/8b877135a38aac58141e81c2894bc28ad7f0e642">8b877135a38aac58141e81c2894bc28ad7f0e642 - Force _xmlSaveCtxt.format to be 0 or 1</a></li>
+ <li><a href="https://gitlab.gnome.org/GNOME/libxml2/commit/5f9d9ceb3dd2c084ec8646fd03ba3ab3e6055767">5f9d9ceb3dd2c084ec8646fd03ba3ab3e6055767 - Fix xmllint to use format=1 for default formatting</a></li>
+ <li><a href="https://gitlab.gnome.org/GNOME/libxml2/commit/d2e62311cd15651e68f921167c7fcf05b19378f9">d2e62311cd15651e68f921167c7fcf05b19378f9 - Add xmlSaveOption XML_SAVE_WSNONSIG</a></li>
+ </ol>
+
+ <p style="margin-top: 3em;">To be continued...</p>
</main>
<footer>
<?php echo indent(site_footer(), 3); ?>
diff --git a/html/style/main.css b/html/style/main.css
index 776a122..1c6f46b 100644
--- a/html/style/main.css
+++ b/html/style/main.css
@@ -104,6 +104,10 @@ img.inline-icon {
width: auto;
}
+.commit li {
+ font-family: monospace;
+}
+
p {
margin-top: 0.5em;
}