max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: remove doc/changes.md

Browse source 
In the last dev meeting, we have decided we are not going to use it.
We will release often (every month), and use pull requests and issues
to report changes.
This commit is contained in:
Leonardo de Moura 2022-02-03 09:23:45 -08:00
parent 42b3ed5903
commit 2bc5b8d1ec
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/changes.md
View file

@ -1,2 +0,0 @@
v4.0.0-m4
---------