projects / mes.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81ed656) | patch
build: Rebuild after build from seed.
authorJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 07:30:03 +0000 (09:30 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 3 May 2018 07:30:03 +0000 (09:30 +0200)
commitad88aaa5beae0aa54fbcd3760886d5c60fc849ea
tree99b9935acdd33116c13c3ed485409e91ab2878a1tree | snapshot (zip tar.gz)
parent81ed6564cf64e85d9ad7a03ce825c544ec0732d5commit | diff
build: Rebuild after build from seed.

* build-aux/build-mes.sh: Rebuild after build from seed.
build-aux/build-mes.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.