diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-08 19:32:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-08 19:32:52 +0200 |
| commit | d07646e75356746ae3a3be96b74d11a367af9333 (patch) | |
| tree | 009f93d930a6d36434c208242582d32997ffc511 /stack-ghc7.10.3.yaml | |
| parent | 3b69a28dbd0ba1abb38f92a576c97ee1e667b985 (diff) | |
| parent | 9e5701b13c61c4ff63df6beb9fa7200ba8a81f9f (diff) | |
Merge pull request #192 from GrammaticalFramework/build-timestamp
Add build timestamps to GF prompt
Diffstat (limited to 'stack-ghc7.10.3.yaml')
0 files changed, 0 insertions, 0 deletions