Change 28189
| Time | Attribute with previous and current values | ||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Change #28189
2014-06-03
15:39:33
|
create Calagator::Event 1250466385 Idris (dependently-typed lang) meetup with Edwin Brady Roll back
|
| Time | Attribute with previous and current values | ||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Change #28189
2014-06-03
15:39:33
|
create Calagator::Event 1250466385 Idris (dependently-typed lang) meetup with Edwin Brady Roll back
|