Dev environment (#338)

Add dev env
This commit is contained in:
Jose Fernández
2023-03-02 18:14:10 +01:00
committed by GitHub
parent c3eaf023c7
commit 8a0da10a87
7 changed files with 266 additions and 1 deletions

5
.gitignore vendored
View File

@@ -5,3 +5,8 @@
.profraw
cov/
lcov.info
# Dev
dev/.bash_history
dev/cache
!dev/cache/.keepme