RELEASE/1.2debug-cidebug-ci-sanitisersfaster-cavernloglog-selectstereostereo-2025walls-datawalls-data-hanging-as-warningwarn-only-for-hanging-survey
|
Last change
on this file since c11ceba was
a72ed95,
checked in by Olly Betts <olly@…>, 11 years ago
|
- .gitignore,Makefile.am,debian/survex.install,doc/,lib/,src/: Aven's
support for reading colours and font sizes for printouts from
print.ini has never worked - the contents of the ini files are
ignored due to a bug which has been there since the code was added
in 2005 - but nobody has ever complained. So just strip out that
code entirely - we should support setting the colours and font sizes,
but a GUI interface for setting them would be better.
|
-
Property mode set to
100644
|
|
File size:
871 bytes
|
| Line | |
|---|
| 1 | debian/tmp/usr/share/survex/icons |
|---|
| 2 | debian/tmp/usr/share/survex/bcra3.svx |
|---|
| 3 | debian/tmp/usr/share/survex/bcra5.svx |
|---|
| 4 | debian/tmp/usr/share/survex/*.msg |
|---|
| 5 | debian/tmp/usr/share/mime-info/survex.mime |
|---|
| 6 | debian/tmp/usr/share/mime-info/survex.keys |
|---|
| 7 | debian/tmp/usr/bin/3dtopos |
|---|
| 8 | debian/tmp/usr/bin/cad3d |
|---|
| 9 | debian/tmp/usr/bin/cavern |
|---|
| 10 | debian/tmp/usr/bin/diffpos |
|---|
| 11 | debian/tmp/usr/bin/dump3d |
|---|
| 12 | debian/tmp/usr/bin/extend |
|---|
| 13 | debian/tmp/usr/bin/sorterr |
|---|
| 14 | debian/tmp/usr/share/man/man1/3dtopos.1 |
|---|
| 15 | debian/tmp/usr/share/man/man1/cad3d.1 |
|---|
| 16 | debian/tmp/usr/share/man/man1/cavern.1 |
|---|
| 17 | debian/tmp/usr/share/man/man1/diffpos.1 |
|---|
| 18 | debian/tmp/usr/share/man/man1/extend.1 |
|---|
| 19 | debian/tmp/usr/share/man/man1/sorterr.1 |
|---|
| 20 | debian/tmp/usr/share/man/man7/survex.7 |
|---|
| 21 | debian/tmp/usr/share/doc/survex |
|---|
| 22 | vim/ftdetect/survex.vim usr/share/vim/addons/ftdetect |
|---|
| 23 | vim/syntax/survex.vim usr/share/vim/addons/syntax |
|---|
| 24 | debian/vim-survex.yaml usr/share/vim/registry |
|---|
Note: See
TracBrowser
for help on using the repository browser.