diff options
| -rw-r--r-- | version.txt | 1 | 
1 files changed, 1 insertions, 0 deletions
diff --git a/version.txt b/version.txt new file mode 100644 index 000000000..b5db9c417 --- /dev/null +++ b/version.txt @@ -0,0 +1 @@ +139
\ No newline at end of file  | 
![]()  | 
index : scintilla-mirror | |
| Git mirror of the Scintilla editor component. Referenced by the SciTECO repository. | Robin Haberkorn | 
| aboutsummaryrefslogtreecommitdiffhomepage | 
| -rw-r--r-- | version.txt | 1 | 
diff --git a/version.txt b/version.txt new file mode 100644 index 000000000..b5db9c417 --- /dev/null +++ b/version.txt @@ -0,0 +1 @@ +139
\ No newline at end of file  |