~free.ekanayaka/storm/any-expr

Viewing all changes in revision 341.

  • Committer: Jamu Kakar
  • Date: 2009-11-24 19:10:43 UTC
  • mfrom: (327.2.4 default-c-extensions)
  • Revision ID: jkakar@kakar.ca-20091124191043-z45n74ff1ebnh4w3
Merged default-c-extensions [r=jamesh,therve] [f=410592]

Storm's C extensions are enabled by default.  They can be disabled
by defining the STORM_CEXTENSIONS environment variable to '0'.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: