Commit 5e513680 authored by Giuseppe Carboni's avatar Giuseppe Carboni Committed by aorlati
Browse files

Fix #226, directories `bin`, `lib` and `object` hid from repository synchronization. (#227)

parent 4c6d9034

.gitignore

+3 −0
Original line number Diff line number Diff line 
.branchenv

introot*

bin/

lib/

object/