 Leo
|
dff2e408d3
Display debugging information before every messages
|
il y a 9 ans |
|
Leo
|
8affb581d0
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
d35e1b28e7
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
9d9e652564
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
aaa0b0cbc9
Highlight in CHANGELOG
|
il y a 9 ans |
|
Leo
|
bd5b868ad5
Add dots for consistency in CHANGELOG
|
il y a 9 ans |
|
Leo
|
156a12a24b
Correct indent in CHANGELOG
|
il y a 9 ans |
|
Leo
|
070473917c
Add related issues in CHANGELOG
|
il y a 9 ans |
|
Leo
|
b190ad8b04
Describe the version globally
|
il y a 9 ans |
|
Leo
|
7881d3fcae
Ordered entries in CHANGELOG
|
il y a 9 ans |
|
Leo
|
2dffdd12b1
Merge branch 'readme' into dev
|
il y a 9 ans |
|
Leo
|
8205a14fda
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
e4bb457e8f
Merge branch 'without-core_exted' into dev
|
il y a 9 ans |
|
Leo
|
8c48493b04
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
4211da0f74
Fix length of lines in CHANGELOG
|
il y a 9 ans |
|
Leo
|
ca3c48cd0e
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
c9bee871d3
Add script to fix indentation in the source code
|
il y a 9 ans |
|
Leo
|
c81e1418b9
Beautified duration message displayed at the end
|
il y a 9 ans |
|
Leo
|
dcc7b8e25f
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
5204c6f6a2
Use different names for source and binary archives
|
il y a 9 ans |
|
Leo
|
a7efd7b72e
Merge branch '0install_script' into dev
|
il y a 9 ans |
|
Leo
|
64f2b1a5b9
Merge branch 'pkging' into 0install_script
|
il y a 9 ans |
|
Leo
|
33cff7c766
Update CHANGELOG, from the start of the work on release script with TODO
|
il y a 9 ans |
|
Leo
|
a252b4d2fd
Merge branch 'cmd-parsing' into dev
|
il y a 9 ans |
|
Leo
|
4d953ba8bd
Improve CHANGELOG
|
il y a 9 ans |
|
Leo
|
e3e450b5d2
Merge ../code-mirror into cmd-parsing
|
il y a 9 ans |
|
Leo
|
9cfbc0b9c3
Update CHANGELOG
|
il y a 9 ans |
|
Leo
|
f818b449ae
Starting to add signal handling
|
il y a 9 ans |
|
Leo
|
4870e110f2
Add reediting to edit command
|
il y a 9 ans |
|
Leo
|
bf03447f78
Allow to use edit command without argument
|
il y a 9 ans |
