diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2023-08-10 07:16:20 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2023-08-10 07:16:20 +0200 |
commit | 60696f36ce365a82fcaae5189a1118972a4e672f (patch) | |
tree | cbcf4c0a43e33128920ef1fa063e8d2eae2d0de9 /log/build.log | |
parent | a01fe8923ff50dcc76c34fb09ad500f5f5433063 (diff) | |
parent | 9abab1e2d4385039b01ad3dc0d9c5966bbe94fee (diff) |
Merge branch 'main' into dev
Start new development version
Diffstat (limited to 'log/build.log')
-rw-r--r-- | log/build.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/log/build.log b/log/build.log index 30c5e432..717128fd 100644 --- a/log/build.log +++ b/log/build.log @@ -6,5 +6,5 @@ * checking for LF line-endings in source and make files and shell scripts * checking for empty or unneeded directories Removed empty directory ‘mkin/vignettes/web_only’ -* building ‘mkin_1.2.4.tar.gz’ +* building ‘mkin_1.2.5.tar.gz’ |