| Did you know ... | Search Documentation: |
 | GIT commit info |
- Home
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- USERS
- WIKI
Merge branch 'master' of https://github.com/SWI-Prolog/plweb-www into wiki
| author | Wiki manager |
|---|---|
| Fri Feb 10 13:21:40 2017 +0100 | |
| committer | Wiki manager |
| Fri Feb 10 13:21:40 2017 +0100 | |
| commit | d30e084e82ffa73a60757bd120f14c201eb55756 |
| tree | 8a6925684d391eb8e27784ccac6b000c35c8f922 |
| parent | 9eb2c1b14794541e07b59d8d4725076f7b72aa2f b7b3d98981545a9f0487c10f971118ef1a235cbf |
Diff style: stat patch
build/Redhat.txt | 11 ++++++----- build/issues/editline.txt | 3 +++ 2 files changed, 9 insertions(+), 5 deletions(-)