File org.texmacs.texmacs.desktop of Package texmacs (Revision 65b93d12712437d1569ea70565830cce)
Currently displaying revision 65b93d12712437d1569ea70565830cce , Show latest
Currently displaying revision 65b93d12712437d1569ea70565830cce , Show latest