diff options
| author | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-27 22:23:32 +0100 |
|---|---|---|
| committer | Eduardo Pedroni <ep625@york.ac.uk> | 2014-04-27 22:23:32 +0100 |
| commit | e354311547a5a5f4d817e6af5b7df99813d66ecb (patch) | |
| tree | 5cb822d55880815595bf1f306bcc81e45d1f631c /doc/jcgp/backend/parameters/monitors/package-summary.html | |
| parent | 4c8de2402f2878cde7587c7f3bbf4ffaea86efd4 (diff) | |
Changing function set through GUI now triggers a reset if arity changes.
Diffstat (limited to 'doc/jcgp/backend/parameters/monitors/package-summary.html')
0 files changed, 0 insertions, 0 deletions