diff graal/overview.html @ 21169:41ec6d89cb84

mx: fix calls to is_interactive()
author Andreas Woess <andreas.woess@oracle.com>
date Thu, 30 Apr 2015 23:55:22 +0200
parents 305b9166b455
children
line wrap: on
line diff