Skip to content
Snippets Groups Projects
Normal view Permalink
.gitignore 44 B
Newer Older
gabrielhdt's avatar
lpo ignoring  
gabrielhdt committed
1 
*.lpo
gabrielhdt's avatar
notes on abbreviations and ignoring log-lsp  
gabrielhdt committed
2 3 
log-lp.txt
log-lsp.txt
hondet's avatar
add pipeline  
hondet committed
4 5 
_build/
_opam/