[seplogic/jstar] 4ea5e9: small bugfix

2 views

Skip to first unread message

unread,

Nov 27, 2013, 2:37:32 PM11/27/13

to jstar-de...@googlegroups.com

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 4ea5e90bb9fda0c4b790ec35fd9850119e128d58
https://github.com/seplogic/jstar/commit/4ea5e90bb9fda0c4b790ec35fd9850119e128d58
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-27 (Wed, 27 Nov 2013)

Changed paths:
M _tags
M src/jimplefront/translatejimple.ml

Log Message:
-----------
small bugfix

Reply all

Reply to author

Forward

0 new messages