]> ocean-lang.org Git - ocean/commitdiff
code / ocean / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: af6ac4c)
Makefile: if bootstrap was required, suggest "make" be run again
authorNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:25:00 +0000 (07:25 +1000)
committerNeilBrown <neilb@suse.de>
Fri, 12 Jul 2013 21:30:03 +0000 (07:30 +1000)
Signed-off-by: NeilBrown <neilb@suse.de>

No differences found
The Ocean Language Project