Minor cleanup

2024-05-23 22:21:44 -07:00 · 2024-05-23 22:21:44 -07:00 · 2c64779c18
commit 2c64779c18
parent 6eede8886d
5 changed files with 5 additions and 3 deletions
--- a/.gitignore
+++ b/.gitignore
@ -6,6 +6,7 @@ lib/bld/**
 !lib/bld/bld-wrapper.properties
 lib/compile/
 lib/runtime/
+lib/provided/
 lib/standalone/
 lib/test/