secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

remove unused dependencies 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-05-07 18:26:28 +10:00
parent 991a9229c0
commit 3592161325
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
_plugins/breadcrumbs.rb
View File

@ -1 +0,0 @@
../dependencies/jekyll-breadcrumbs/source/_plugins/breadcrumbs.rb

1
_plugins/drops
View File

@ -1 +0,0 @@
../dependencies/jekyll-breadcrumbs/source/_plugins/drops