diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-10 13:41:54 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-10 13:41:54 +0200 |
| commit | c927b2f2a9bcd8d2551759516725917b29903a28 (patch) | |
| tree | 054dbdc0e8e5a7c1816ddea8bed0a010809390a1 /build/.gitignore | |
| parent | 4243d26ab9245b64f141c3733726f931c32eccdc (diff) | |
Write user modules to root.build rather than to bootstrap.build
Now that only "bootstrappable" modules can be loaded during bootstrap.
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions