Added a minint option for specific workspace.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2018-03-23 16:32:01
Author local date 2018-03-23 17:32:01 +0100
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2018-03-23 16:32:01
Committer local date 2018-03-23 17:32:01 +0100
Commit fbc824160070ebee0c679c18e95d933f05844c54
Tree dd2da8937b7f7343f60d013cac27e67af89cf515
Parent 9256f8a966411b8ef31a2bd85dcd4007b8803b64
Added a minint option for specific workspace.
ViewGit