Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Git Build Data

Lockable resources

Pipeline Steps

Workspaces

Previous Build

Next Build

Changes

Summary

toplevel: fix a typo in directive error messages (commit: 7928a26) (details)

Commit 7928a26a5e0ddcdfcfafab260f2702487d125961 by Florian Angeletti toplevel: fix a typo in directive error messages (commit: 7928a26)
The file was modified	toplevel/topcommon.ml (diff)