summary refs log tree commit diff
path: root/proto/bak.ml
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-11-24 22:13:44 -0500
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-11-24 22:13:44 -0500
commitbe1f7cbf23a11977bcf8f18dd7fa0c4fb52f336a (patch)
treecf1df1f20dd763097527b2105a65e7ca40ed6734 /proto/bak.ml
parentf54da035bc368eb593e671902bf67893a07d173b (diff)
downloadroux-be1f7cbf23a11977bcf8f18dd7fa0c4fb52f336a.tar.gz
signal error for failed compilations
Diffstat (limited to 'proto/bak.ml')
0 files changed, 0 insertions, 0 deletions