1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Bootstrapping disable function

Issue #845 resolved
Ingmar Dasseville created an issue

make a function in idp which turns off all bootstrapping

stdoptions.postprocessdefs = false
stdoptions.joindefsforxsb = false
stdoptions.splitdefs = false

Comments (1)

  2. Log in to comment
Assignee
Type
proposal
Priority
minor
Status
resolved
Component
–
Version
–
Votes
0
Watchers
3
Jira: the preferred issue tracker for Bitbucket. Join the team!