-
Etienne Renault authored
* bricks/brick-assert, bricks/brick-bitlevel, bricks/brick-hash, bricks/brick-hashset, bricks/brick-shmem, bricks/brick-types: Rename as .. . * spot/bricks/brick-assert, spot/bricks/brick-bitlevel, spot/bricks/brick-hash, spot/bricks/brick-hashset, spot/bricks/brick-shmem, spot/bricks/brick-types: ... this * Makefile.am, README, debian/copyright, debian/libspot-dev.install, m4/bricks.m4, spot/Makefile.am, spot/ltsmin/spins_kripke.hh, spot/ltsmin/spins_kripke.hxx, spot/mc/bloemen.hh spot/mc/deadlock.hh, tests/Makefile.am, tests/core/bricks.cc: here.
8d35bf89