view .hgignore @ 22:cd7880ab73c7

fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore the transition if there are no choices, but to just return the provided default value. Thanks to Pascal Kessell for reporting added a .include_null option for the TypedObjectChoice CG. If it is set (default) 'null' is included in the choice set added a dedicated reg test for TypedObjectChoice, removed the one in DataChoiceTest
author Peter Mehlitz <pcmehlitz@gmail.com>
date Tue, 14 Apr 2015 15:01:25 -0700
parents a9ada67f1799
children
line wrap: on
line source

syntax: glob

local.properties
.version
.idea/workspace.xml
.idea/fileColors.xml
.idea/uiDesigner.xml
nbproject/private/*
build/*
dist/*
tmp/*
trace
activity*.png
*.class
*.orig
*~
*.DS_Store