cleanup

2022-11-20 15:31:30 +00:00 · 2022-11-20 15:31:30 +00:00 · 1428a40b5f
commit 1428a40b5f
parent 6556924670
9 changed files with 6 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,8 @@
 .jekyll-cache
 _site/
+
+# binaries
+/**/code/*
+!/**/code/*/
+!/**/code/*.*
+!/**/code/Makefile
--- a/_posts/cheri/code/membug
+++ b/_posts/cheri/code/membug
--- a/_posts/cheri/code/membug-cheri.asm
+++ b/_posts/cheri/code/membug-cheri.asm
--- a/_posts/cheri/code/membug-cheribsd
+++ b/_posts/cheri/code/membug-cheribsd
--- a/_posts/cheri/code/ptrs_as_numbers
+++ b/_posts/cheri/code/ptrs_as_numbers
--- a/_posts/cheri/code/ptrs_as_numbers-cheribsd
+++ b/_posts/cheri/code/ptrs_as_numbers-cheribsd
--- a/_posts/cheri/code/sizes
+++ b/_posts/cheri/code/sizes
--- a/_posts/cheri/code/sizes-cheribsd
+++ b/_posts/cheri/code/sizes-cheribsd
--- a/_posts/sensor_watch/2022-11-14-sensor-watch.md
+++ b/_posts/sensor_watch/2022-11-14-sensor-watch.md